R-Version: [Default] [64-bit] C:\Program Files\R\R-4.1.0

Imports

In folgendem Junk werden alle Tabellen aus den CSV’s eingelesen. Doku Daten: https://sorry.vse.cz/~berka/challenge/PAST/index.html (rechte Seite PKDD’99 Challenge > Data > Financial Data Description)

Einlesen der Daten

Der Datensatz besteht aus acht verschiedenen Tabellen, welche teils durch Keys miteinander verknüpft sind.

root_path <- "./xselling_banking_data-1/xselling_banking_data/"

accounts <- read.csv(paste0(root_path, "account.csv"), header = TRUE, sep = ";")
cards <- read.csv(paste0(root_path, "card.csv"), header = TRUE, sep = ";")
clients <- read.csv(paste0(root_path, "client.csv"), header = TRUE, sep = ";")
dispositions <- read.csv(paste0(root_path, "disp.csv"), header = TRUE, sep = ";")
districts <- read.csv(paste0(root_path, "district.csv"), sep = ";")
loans <- read.csv(paste0(root_path, "loan.csv"), header = TRUE, sep = ";")
orders <- read.csv(paste0(root_path, "order.csv"), header = TRUE, sep = ";")
transactions <- read.csv(paste0(root_path, "trans.csv"), header = TRUE, sep = ";")

Cleaning

Accounts

sample_n(accounts, 5)

Die Account-Tabelle enthält vier Kolonnen: die Account-ID, die District-ID (welche auf die District-Tabelle verweist), die Frequenz, welche die Häufigkeit der Ausstellung der Abrechnungen als Kategorie besagt, und das Erstellungsdatum des Accounts. Die Frequenz kann eine von drei verschiedenen Werten annehmen.

unique(accounts$frequency)
[1] "POPLATEK MESICNE"   "POPLATEK PO OBRATU" "POPLATEK TYDNE"    

Nachfolgend sollen die Frequenz-Werte übersetzt und das Datum in ein richtiges Format transformiert werden. Ausserdem soll die Tabelle auf fehlende Werte überprüft werden.

accounts$date <- as.Date(as.character(accounts$date), format= "%y%m%d")

accounts$frequency[accounts$frequency == "POPLATEK MESICNE"]   <- "monthly"
accounts$frequency[accounts$frequency == "POPLATEK TYDNE"]     <- "weekly"
accounts$frequency[accounts$frequency == "POPLATEK PO OBRATU"] <- "after_transaction"

sum(is.na(accounts))
[1] 0

Es gibt also keine fehlende Werte in diesem Dataframe.

Cards

sample_n(cards, 5)

Auch bei card muss das Datum umgewandelt werden, der zeitliche Teil wird ignoriert, da er immer 0 ist.

cards$issued <- as.Date(as.character(cards$issued), format= "%y%m%d")

cards$type[cards$type == "gold"]     <- "classic"
cards <- filter(cards, type == "classic")

sum(is.na(cards))
[1] 0

Clients

sample_n(clients, 10)

In der Tabelle existiert die Spalte birth_number, welcher man auf den ersten Blick die Datumsräpresentation nicht ansieht. In der Doku wird die Struktur deutlich, sie ist für Männer YYMMDD und für Frauen YYMMDD+50DD. In Folge wird die Nummer in ihre Datumsräpresentation konvertiert und die Spalte “gender” als male/female aufgeschlüsselt. Zudem wird das Alter der clients bezogen auf das Jahr 1999 herausextrahiert, da der Datensatz aus diesem Jahr stammt. Es wird nicht year(Sys.Date()) verwendet, damit die Daten auch in Zukunft konsistent blieben.

# Months above 12 must be female
clients <- mutate(clients, gender = 
                     ifelse(substr(birth_number, 3, 4) > 12, "female", "male"))

# Substract the 50 to get the birth month
clients <- mutate(clients, birth_month =
                     ifelse(as.numeric(substr(birth_number, 3, 4)) > 12,
                            as.numeric(substr(birth_number, 3, 4)) - 50,
                            as.numeric(substr(birth_number, 3, 4))))

# Transform the birth_number to a date
clients <- mutate(clients, birth_number = paste("19",
                                                substr(birth_number, 1, 2), 
                                                str_pad(birth_month, 2,
                                                        pad = "0"),
                                                substr(birth_number, 5, 6),
                   sep = "", collapse = NULL))
clients$birth_date <- as.Date(as.character(clients$birth_number),
                               format= "%Y%m%d")

# Remove unused columns
clients$birth_month <- NULL
clients$birth_number <- NULL

# Get the age of the clients in the year 1999 and save it in a column
get_age <- function(birth_date) {
  base_year <- 99
  year <- substr(birth_date, 3, 4)
  result <- base_year - as.integer(year)
  
  return(result)
}
clients <- clients %>%
   mutate(age = get_age(birth_date))

sum(is.na(clients))
[1] 0
accounts
clients

Dispositions

sample_n(dispositions, 5)

Bei Dispositions sollen nur Owners verwendet werden, da die Analyse nur Eigentümer von Konten behandeln soll.

dispositions <- dispositions %>% filter(type == 'OWNER')

sum(is.na(dispositions))
[1] 0

Districts

Bei district sind die Spaltennamen der Tabelle abhanden gekommen. Hier werden die Tabellennamen umbenannt, gemäss Doku.

districts <- rename(districts, district_id = A1, district_name = A2, region = A3, 
                   inhabitants = A4, municipalities_inhabitants_smaller_499 = A5, 
                   municipalities_inhabitants_500_to_1999 = A6, 
                   municipalities_inhabitants_2000_to_9999 = A7, 
                   municipalities_inhabitants_larger_10000 = A8, cities = A9, 
                   urban_inhabitants_ratio = A10, average_salary = A11,
                   unemployment_rate_95 = A12, unemployment_rate_96 = A13,
                   entrepreneurs_per_1000 = A14, crimes_95 = A15,
                   crimes_96 = A16)

sum(is.na(districts))
[1] 0

Transactions

sample_n(transactions, 5)

In den Transaktionen muss das Datum gemäss Format YYMMDD konvertiert werden.

# Rename k_symbol
transactions <- rename(transactions, c("characterization" = "k_symbol")) 

# Change formats
transactions$date <- as.Date(as.character(transactions$date), format= "%y%m%d")
transactions$amount <- as.numeric(transactions$amount)
transactions$balance <- as.numeric(transactions$balance)

# Translate values
transactions$type[transactions$type == "PRIJEM"] <- "credit"
transactions$type[transactions$type == "VYDAJ"]  <- "withdrawal"
transactions$type[transactions$type == "VYBER"]  <- "withdrawal"

transactions$operation[transactions$operation == "VKLAD"]          <- "cash credit"
transactions$operation[transactions$operation == "PREVOD Z UCTU"]  <- "collection"
transactions$operation[transactions$operation == "VYBER"]          <- "cash withdrawal"
transactions$operation[transactions$operation == " "]              <- "unknown"
transactions$operation[transactions$operation == "PREVOD NA UCET"] <- "remittance"
transactions$operation[transactions$operation == "VYBER KARTOU"]   <- "card withdrawal"

transactions$characterization[transactions$characterization == " "] <- "unknown"
transactions$characterization[transactions$characterization == "DUCHOD"] <- "pension"
transactions$characterization[transactions$characterization == "UROK"] <- "interest"
transactions$characterization[transactions$characterization == "SIPO"] <- "household"
transactions$characterization[transactions$characterization == "SLUZBY"] <- "payment statement"
transactions$characterization[transactions$characterization == "POJISTNE"] <- "insurance"
transactions$characterization[transactions$characterization == "SANKC. UROK"]  <- "neg_interest"
transactions$characterization[transactions$characterization == "UVER"]  <- "loan_pay"

sum(is.na(transactions))
[1] 760931

Orders

sample_n(orders, 5)
# Rename column k_symbol
orders <- rename(orders, "characterization" = "k_symbol") 

# Translate column characterization
orders$characterization[orders$characterization == "SIPO"]     <- "household"
orders$characterization[orders$characterization == "UVER"]     <- "loan"
orders$characterization[orders$characterization == "POJISTNE"] <- "insurance"
orders$characterization[orders$characterization == "LEASING"]  <- "leasing"

# Categorize NA as unknown
orders$characterization[is.na(orders$characterization)] <- "unknown"

orders$amount <- as.numeric(orders$amount)

sum(is.na(loans))
[1] 0

Loans

sample_n(loans, 5)
loans$date <- as.Date(as.character(loans$date), format= "%y%m%d")
loans$payments <- as.numeric(loans$payments)
loans$amount <- as.numeric(loans$amount)

# Make column status human readable
loans$status[loans$status == "A"] <- "finished_payed"
loans$status[loans$status == "B"] <- "finished_not_payed"
loans$status[loans$status == "C"] <- "running_ok"
loans$status[loans$status == "D"] <- "running_in_debt"

sum(is.na(loans))
[1] 0

Zusammenfügen der Dataframes

In diesem Abschnitt werden die verschiedenen Tabellen zusammen gesetzt. Dabei werden loan, cards und district it left join angehängt, damit fehlende Spalten nicht den Datensatz verkleinern. Die Transaktionsdaten werden hier noch nicht zusammengeführt.

# Clients mit dispositions
full <- inner_join(clients, dispositions, by = "client_id", suffix = c(".client", ".dispositions"))
sum(duplicated(full$client_id))
[1] 0
# Full mit account
full <- inner_join(full, accounts, by = "account_id", suffix = c("", ".accounts"))
sum(duplicated(full$account_id))
[1] 0
# Full mit loan
sum(duplicated(loans$account_id))
[1] 0
full <- left_join(full, loans, by = "account_id", suffix = c("", ".loans"))

# Full mit cards
full <- left_join(full, cards, by = "disp_id", suffix = c("", ".cards"))
sum(duplicated(cards$disp_id))
[1] 0
# District Informations for client
full <- left_join(full, districts, by = "district_id")

# District informations for card
full <- left_join(full, districts, by = c("district_id.accounts"="district_id"), suffix = c("", ".accounts"))

sample_n(full, 5)

Jugendliche und Personen, welche während des Zeitraums des Datensatzes erst erwachsen worden sind, sollen nicht in die Auswertung einfliessen. Da sicher der Datensatz über einen Zeitraum von sechs Jahren erstreckt werden alle Clients jünger als 25 Jahre herausgefiltert.

full <- full %>% filter(age >= 25)
full

Als nächstes werden alle Zeilen mit Kreditkartenkäufern von den Nicht-Käufern getrennt

has_card_function <- function(x) {
  if (is.na(x)) {
    return(FALSE)
  } else {
    return(TRUE)
  }
}

# Erstelle die neue Spalte "has_card" mit der apply()-Funktion und der oben definierten Funktion
full$has_card <- sapply(full[, "card_id"], has_card_function)
full <- full %>% select(-card_id, -type.cards)

card_buyers <- full %>% filter(has_card == TRUE)

non_buyers <- full %>% filter(has_card == FALSE)

Jetzt können wir noch einige Variabeln entfernen, welche keinen Einfluss auf das Modell haben sollten.

Aufsummieren der Transaktionen

sample_n(transactions, 5)

Bei den Transaktionen ist jeweils die neue Balance und der Betrag der Transaktion angegebn. Das Problem dabei ist, dass alle Beträge positiv sind, auch wenn sie eigentlich abgezogen werden.

df <- transactions

# Konvertieren Sie das 'date'-Feld in ein Datum
df$date <- as.Date(df$date)

# Sortieren Sie das Dataframe nach Nutzer und Datum
df <- df[order(df$account_id, df$date), ]

# Gruppieren Sie das Dataframe nach Nutzer
df <- group_by(df, account_id)

# Iterieren Sie über jeden Nutzer und bearbeiten Sie die Transaktionen
df <- df %>% 
  summarize(transactions = {
    # Fügen Sie eine Spalte mit dem vorherigen Kontostand hinzu
    prev_balance <- ifelse(row_number() == 1, NA, lag(balance, order_by = date))

    # Berechnen Sie den Unterschied zwischen dem vorherigen Kontostand und dem aktuellen Kontostand
    difference <- balance - prev_balance

    # Fügen Sie eine Spalte mit der Transaktionsart hinzu
    type <- "add"
    type[difference < 0] <- "subtract"

    # Erstellen Sie das Dataframe mit den Transaktionen für jeden Nutzer
    transactions_df <- data.frame(amount, date, balance, prev_balance, difference, type)
    transactions_df
  }) %>%
  ungroup()

transactions <- unnest(df, transactions)

# Hinzufügen des ersten amounts bei jedem Account
transactions$difference <- ifelse(is.na(transactions$difference) & is.na(transactions$prev_balance) & (transactions$amount == transactions$balance), transactions$amount, transactions$difference)

transactions$amount <- NULL

transactions

Zusammenfassen der Transaktionen für Card Buyers

Um die Transaktions-Daten in unseren Modellen brauchen zu können, muss für jeden Kunde ein Rollup-Fenster erstellt werden. Dies fasst die Transaktionen der zwölf Monate vor dem Erhalt einer Kreditkarte zusammen (minus einen Monat Input Lag). Auf diesen Monaten werden die Transaktionen zusammengefasst.

Als erstes werden die Transaktionen von Kunden herausgefiltert, welche eine Kreditkarte haben.

account_ids <- card_buyers$account_id
buyer_transactions <- transactions[transactions$account_id %in% account_ids,]

Das issued-Datum soll zu den Transaktionen hinzugefügt werden, damit diese für jeden Kunden einzeln gefiltert werden können.

buyer_transactions <- merge(buyer_transactions, full[, c("account_id", "issued")], by="account_id")

Nun sollen Transaktionen so gefiltert werden, dass nur noch Transaktionen zwischen 13 Monaten und 1 Monat vor dem Issued Datum vorkommen.

filtered_df <- buyer_transactions %>%
  filter(date >= as.Date(paste0(format(issued - months(13), "%Y-%m"), "-01")) &
         date <= as.Date(paste0(format(issued - months(1), "%Y-%m"), "-01")) - 1)

Auf diesen Daten wird eine Gruppierung anhand der account_id und des Monats gemacht werden. Die Werte in difference und balance werden zu verschiedenen Metriken zusammengefasst: Auf beiden Werten erfassen wir das Minimum, das Maximum, den Durchschnitt, den Median und die Standardabweichung. Bei der balance erfassen wir die erste und die letzte Balance des Monats und bei difference die Anzahl positive und negative differences.

summary_df <- filtered_df %>%
  group_by(account_id, month = format(date, "%Y-%m")) %>%
  summarise(
    max_difference = max(difference),
    min_difference = min(difference),
    max_balance = max(balance),
    min_balance = min(balance),
    initial_balance = first(balance),
    end_balance = last(balance),
    mean_balance = mean(balance),
    median_balance = median(balance),
    std_balance = sd(balance),
    mean_difference = mean(difference),
    median_difference = median(difference),
    std_difference = sd(difference),
    count_positive_difference = sum(difference > 0),
    count_negative_difference = sum(difference < 0)
  )
summary_df <- summary_df %>%
  arrange(account_id)
summary_df

Jetzt haben wir für jede account_id eine Übersicht über die 12 Monate vor dem Kartenerhalt. Da es aber sein könnte, dass es Kunden gibt, welche nicht jeden Monat eine Transaktion hatten oder die Kreditkarte bereits im ersten Jahr erhalten haben, kontrollieren wir dies noch.

# Kontrolle, ob für jeden account_id 12 monate vorhanden sind
month_counts <- summary_df %>%
  group_by(account_id) %>%
  summarise(month_count = n_distinct(month))

# Prüfe, ob jedes account_id 12 Monate hat
month_counts <- month_counts %>% filter(month_count != 12)
month_counts
NA

162 Kunden haben also keine 12 kontinuierlichen Monate mit Transaktionen, bevor sie eine Karte bekommen. Wir filtern diese Kunden raus.

summary_df <- subset(summary_df, !account_id %in% month_counts$account_id)

Als nächstes nummerieren wir die Monate pro account_id von 1 bis 12 durch, um danach weiter damit arbeiten zu können.

# Sortieren nach account_id und Monat
summary_df <- summary_df[order(summary_df$account_id, rev(summary_df$month)),]

# Hinzufügen der Monatsnummer
summary_df$group_id <- ave(seq_along(summary_df$account_id), summary_df$account_id, FUN = function(x) {x})
summary_df$month_number <- 12

for (i in 2:nrow(summary_df)) {
  if (summary_df$account_id[i] != summary_df$account_id[i-1]) {
    summary_df$month_number[i] <- 12
  } else {
    summary_df$month_number[i] <- summary_df$month_number[i-1] - 1
  }
}

# Entferne die Spalte group_id
summary_df$group_id <- NULL
summary_df$month <- NULL

Nun möchten wir alle Informationen pro account_id auf einer Zeile haben. Dafür brauchen wir pivot_wider. So haben wir jede Kennzahl zwölf mal als Kolonne, jedes Mal mit der vorher erstellten Monatsnummer als Suffix.

summary_df_buyers <- summary_df %>%
  group_by(account_id) %>%
  pivot_wider(names_from = month_number,
              values_from = c(max_difference, min_difference, max_balance, min_balance, initial_balance, end_balance, mean_balance, median_balance, std_balance, median_balance, std_balance, mean_difference, median_difference, std_difference, count_positive_difference, count_negative_difference))

summary_df_buyers <- merge(summary_df_buyers, card_buyers, by = "account_id")
summary_df_buyers

Finden von ähnlichen Nutzern

Zu jedem Kartenkäufer soll nun ein ähnlicher Nichtkäufer gefunden werden

# Erstelle ein leeres DataFrame "similar_non_buyers"
similar_non_buyers <- data.frame()

# Iteriere über jeden Kunden im DataFrame "buyers"
for (i in 1:nrow(card_buyers)) {
  # Wähle den aktuellen Kunden aus dem DataFrame "buyers"
  current_buyer <- card_buyers[i, ]
  
  # Wähle die Kunden aus dem DataFrame "non_buyers" aus, die das gleiche Geschlecht haben und möglichst gleich alt sind und möglichst in der gleichen Region wohnen
  similar_non_buyers_temp <- non_buyers %>%
    filter(gender == current_buyer$gender,
           abs(age - current_buyer$age) <= 5,
           region == current_buyer$region)
  
  # Wähle den am besten passenden Kunden aus "similar_non_buyers_temp" aus
  best_match_index <- which.min(abs(similar_non_buyers_temp$age - current_buyer$age))
  best_match <- similar_non_buyers_temp[best_match_index, ]
  best_match$issued <- current_buyer$issued
  
  # damit nicht der gleiche non_buyer doppelt verwendet wird
  non_buyers <- non_buyers %>% filter(client_id != best_match$client_id)
  
  
  similar_non_buyers <- rbind(similar_non_buyers, best_match)
  
}

Zusammenfassen der Transaktionen für non buyers

Auch hier sollen die Transaktionen gleich wie bei den Käufern zusammengefasst werden.

account_ids <- similar_non_buyers$account_id
non_buyer_transactions <- transactions[transactions$account_id %in% account_ids,]

non_buyer_transactions <- merge(non_buyer_transactions, similar_non_buyers[, c("account_id", "issued")], by="account_id")
filtered_df <- non_buyer_transactions %>%
  filter(date >= as.Date(paste0(format(issued - months(13), "%Y-%m"), "-01")) &
         date <= as.Date(paste0(format(issued - months(1), "%Y-%m"), "-01")) - 1)
summary_df <- filtered_df %>%
  group_by(account_id, month = format(date, "%Y-%m")) %>%
  summarise(
    max_difference = max(difference),
    min_difference = min(difference),
    max_balance = max(balance),
    min_balance = min(balance),
    initial_balance = first(balance),
    end_balance = last(balance),
    mean_balance = mean(balance),
    median_balance = median(balance),
    std_balance = sd(balance),
    mean_difference = mean(difference),
    median_difference = median(difference),
    std_difference = sd(difference),
    count_positive_difference = sum(difference > 0),
    count_negative_difference = sum(difference < 0)
  )
summary_df <- summary_df %>%
  arrange(account_id)
# Kontrolle, ob für jeden account_id 12 monate vorhanden sind
month_counts <- summary_df %>%
  group_by(account_id) %>%
  summarise(month_count = n_distinct(month))

# Prüfe, ob jedes account_id 12 Monate hat
month_counts <- month_counts %>% filter(month_count != 12)
month_counts
NA

Auch hier haben wieder einige Kunden weniger als 12 kontinuierliche Monate.

summary_df <- subset(summary_df, !account_id %in% month_counts$account_id)
summary_df <- summary_df[order(summary_df$account_id, rev(summary_df$month)),]
summary_df$group_id <- ave(seq_along(summary_df$account_id), summary_df$account_id, FUN = function(x) {x})

summary_df$month_number <- 12

for (i in 2:nrow(summary_df)) {
  if (summary_df$account_id[i] != summary_df$account_id[i-1]) {
    summary_df$month_number[i] <- 12
  } else {
    summary_df$month_number[i] <- summary_df$month_number[i-1] - 1
  }
}

# Entferne die Spalte group_id
summary_df$group_id <- NULL
summary_df$month <- NULL
summary_df_non_buyers <- summary_df %>%
  group_by(account_id) %>%
  pivot_wider(names_from = month_number,
              values_from = c(max_difference, min_difference, max_balance, min_balance, initial_balance, end_balance, mean_balance, median_balance, std_balance, median_balance, std_balance, mean_difference, median_difference, std_difference, count_positive_difference, count_negative_difference))

Die Transaktionsdaten werden mit den anderen Daten zusammengefügt, um pro Kunde eine Zeile in einem Dataframe zu haben.


summary_df_non_buyers <- merge(summary_df_non_buyers, similar_non_buyers, by = "account_id")
merge(summary_df_non_buyers, non_buyers, by = "account_id")
final_df <- rbind(summary_df_buyers, summary_df_non_buyers)

Jetzt muss noch dass issued-Datum sowie weitere Variabeln entfernt werden.

# Entferne weitere unnötige Variabeln wie ID's oder Werte, welche überall gleich sind
final_df <- final_df %>% select(-client_id, -district_id, -district_id.accounts, -disp_id, -type, -loan_id, -account_id)

Ausserdem scheinen einige Variabeln als Faktoren im Datensatz zu sein, welche eigentlich numerisch wären.

final_df$unemployment_rate_95 <- as.numeric(final_df$unemployment_rate_95)
Warning: NAs introduced by coercion
final_df$unemployment_rate_95.accounts <- as.numeric(final_df$unemployment_rate_95.accounts)
Warning: NAs introduced by coercion
final_df$crimes_95 <- as.numeric(final_df$crimes_95)
Warning: NAs introduced by coercion
final_df$crimes_95.accounts <- as.numeric(final_df$crimes_95.accounts)
Warning: NAs introduced by coercion

Modelle

Als nächstes sollen Modelle trainiert und evaluiert werden. Um die Resultate zu reproduzieren, wird hier ein initialier seed gesetzt.

set.seed(27)

Funktionen zur Evaluierung von Modellen

Train-Test-Split

Als Vorbereitung für die Modelle müssen wir unsere Daten zu Trainings- und Testdaten unterteilen. Dafür erstellen wir eine Funktion, welche auf verschiedenen Varianten des Datensatz gebraucht werden kann.

split_data <- function(df, test_size = 0.2) {
  split <- createDataPartition(df$has_card, p = 1 - test_size, list = FALSE)
  train <- df[split, ]
  test <- df[-split, ]
  
  return(list(train = train, test = test))
}

Metriken

Damit wir die verschiedenen Modelle besser evaluieren können, müssen wir die gleichen Kennzahlen und Auswertungen pro Modell machen. Zu diesem Zweck definieren wir einige Funktionen, damit wir weniger redundanten Code haben und unsere Ergebnisse in einem einheitliche, vergleichbaren Format daherkommen.

Dafür erstellen wir eine Funktion, die die Genauigkeit (Accuracy), Cohen’s Kappa, Matthews Korrelation, Präzision (Precision), Erinnerung (Recall) und den F1-Score für eine Reihe von Vorhersagen und deren entsprechenden wahren Werte berechnet.

Was bedeuten diese Kennzahlen genau?

Accuracy (Genauigkeit): Die Accuracy ist der Prozentsatz der Vorhersagen, die mit den tatsächlichen Werten übereinstimmen. Sie wird berechnet als Anzahl der korrekten Vorhersagen geteilt durch die Gesamtzahl der Vorhersagen.

Cohen’s Kappa (Cohen’s Kappa): Cohen’s Kappa ist eine Messgröße für die Qualität von binären Klassifikationen. Es wird verwendet, um die Übereinstimmung zwischen zwei Klassifikatoren zu messen, indem es die Übereinstimmung über der erwarteten Übereinstimmung durch Zufall berechnet. Ein Kappa-Wert von 1 bedeutet perfekte Übereinstimmung, ein Wert von 0 bedeutet keine Übereinstimmung, die besser ist als Zufall, und ein Wert von -1 bedeutet komplett falsche Klassifikationen.

Matthews correlation coefficient (Matthews Korrelation): Der Matthews Korrelation Coefficient (MCC) ist eine Messgröße für die Qualität von binären Klassifikationen. Er reicht von -1 bis 1, wobei ein Wert von 1 perfekte Klassifikation bedeutet, ein Wert von 0 eine Klassifikation, die nicht besser als Zufall ist, und ein Wert von -1 eine komplett falsche Klassifikation bedeutet.

Precision (Präzision): Die Präzision ist der Prozentsatz der Vorhersagen, die tatsächlich korrekt waren, unter der Annahme, dass alle Vorhersagen korrekt sind. Sie wird berechnet als Anzahl der korrekten Vorhersagen für die positive Klasse geteilt durch die Gesamtzahl der Vorhersagen für die positive Klasse.

Recall (Erinnerung): Der Recall ist der Prozentsatz der tatsächlich positiven Werte, die korrekt vorhergesagt wurden. Er wird berechnet als Anzahl der korrekten Vorhersagen für die positive Klasse geteilt durch die Gesamtzahl der tatsächlich positiven Werte.

F1 score (F1-Wert): Der F1-Wert ist ein Maß für die Qualität von binären Klassifikationen, das die Harmoniesche Mischung von Präzision und Recall darstellt. Es wird berechnet als der Harmoniesche Mittelwert von Präzision und Recall. Ein hoher F1-Wert bedeutet, dass sowohl Präzision als auch Recall hoch sind.

get_metrics <- function(predictions, true_values) {
  # Calculate accuracy
  accuracy <- sum(predictions == true_values) / length(predictions)
  
  # Calculate Cohen's kappa
  n <- length(predictions)
observed_agreement <- sum(predictions == true_values)
expected_agreement <- sum(predictions == true_values) / n
kappa <- (observed_agreement - expected_agreement) / (n - expected_agreement)
  
  # Calculate Matthews correlation coefficient
  confusion_matrix <- table(predictions, true_values)
  tp <- confusion_matrix[2,2]
  tn <- confusion_matrix[1,1]
  fp <- confusion_matrix[2,1]
  fn <- confusion_matrix[1,2]
  matthews <- (tp * tn - fp * fn) / sqrt((tp + fp) * (tp + fn) * (tn + fp) * (tn + fn))
  
  # Calculate precision and recall
  precision <- confusion_matrix[2,2] / sum(confusion_matrix[2,])
  recall <- confusion_matrix[2,2] / sum(confusion_matrix[,2])
  
  # Calculate F1 score
  f1 <- 2 * (precision * recall) / (precision + recall)
  
  # Create a data frame of the metrics
  metrics <- data.frame(accuracy = accuracy, kappa = kappa, matthews = matthews,
                        precision = precision, recall = recall, f1 = f1)
  
  # Return the data frame
  return(metrics)
}

Konfusionsmatrix mit Plot

Diese Funktion erstellt eine Konfusionsmatrix und gibt sie als Plot zurück.

Eine Konfusionsmatrix ist ein wichtiges Werkzeug zur Evaluation von Klassifikationsmodellen. Sie zeigt an, wie gut das Modell in der Lage ist, die verschiedenen Klassen richtig zu identifizieren. In einer Konfusionsmatrix werden die tatsächlichen und die von dem Modell vorhergesagten Klassen gegenübergestellt. Die Matrix ist in vier Quadranten unterteilt: true positives (TP), true negatives (TN), false positives (FP) und false negatives (FN). TP sind die Fälle, in denen das Modell die Klasse richtig vorhergesagt hat, TN sind die Fälle, in denen das Modell die Klasse richtig vorhergesagt hat und diese Klasse auch tatsächlich vorliegt, FP sind die Fälle, in denen das Modell eine Klasse vorhergesagt hat, die in Wirklichkeit nicht vorliegt, und FN sind die Fälle, in denen das Modell eine Klasse nicht vorhergesagt hat, die in Wirklichkeit vorliegt. Eine Konfusionsmatrix ist hilfreich, um die Genauigkeit, Sensitivität und Spezifität des Modells zu berechnen und um zu sehen, an welchen Stellen das Modell Schwächen hat. Sie kann auch verwendet werden, um die Leistung von verschiedenen Modellen miteinander zu vergleichen.

plot_confusion_matrix <- function(predictions, true_values) {
  # Erstelle eine Confusion Matrix als Data Frame
  confusion_matrix_df <- data.frame(predictions, true_values)
  
  # Zähle die Häufigkeiten jeder Kombination von Vorhersage- und True-Werten
  counts_df <- count(confusion_matrix_df, predictions, true_values)
  
  # Erstelle einen ggplot-Plot
  ggplot(data = counts_df, aes(x = predictions, y = true_values)) +
    geom_tile(aes(fill = n)) +
    geom_text(aes(label = n)) +
    scale_fill_gradient(low = "white", high = "darkgreen") +
    labs(x = "Predicted Class", y = "True Class", title = "Confusion Matrix")
}

ROC / AUC

Diese Funktion zeichnet die ROC-Kurve und berechnet die Area und Curve.

Die ROC-Kurve (Receiver Operating Characteristic curve) ist ein wichtiges Werkzeug zur Bewertung von Klassifikatoren. Sie zeigt die Leistung des Klassifikators bei verschiedenen Schwellenwerten an, die zur Unterscheidung zwischen zwei Klassen verwendet werden. Die ROC-Kurve ist besonders nützlich, wenn die beiden Klassen im Verhältnis unausgeglichen sind, wie es oft der Fall ist, wenn es darum geht, seltene Ereignisse wie Krankheiten oder Betrug zu erkennen.

Die ROC-Kurve ist auf der x-Achse der falsch-positiv-Rate (FPR) und auf der y-Achse der wahr-positiv-Rate (TPR) aufgetragen. Der FPR gibt an, wie viele falsch positive Ergebnisse es gibt, während der TPR angibt, wie viele wahr positive Ergebnisse erzielt werden. Ein perfekter Klassifikator würde eine ROC-Kurve haben, die im oberen linken Bereich beginnt und nach rechts oben verläuft, wobei alle Fälle korrekt klassifiziert werden. Ein zufälliger Klassifikator würde eine diagonal verlaufende ROC-Kurve haben, da die FPR und TPR zufällig verteilt sind.

Die AuC (Area Under the Curve) ist eine Metrik, die aus der ROC-Kurve berechnet wird und die Leistung des Klassifikators zusammenfasst. Sie gibt an, wie gut der Klassifikator im Vergleich zu einem zufälligen Klassifikator ist. Eine AUC von 1 bedeutet, dass das Modell perfekt in der Lage ist, positive und negative Klassen zu unterscheiden, während eine AUC von 0.5 bedeutet, dass das Modell keine bessere Leistung als Zufall erzielt. Die AUC kann Werte zwischen 0 und 1 annehmen. Eine AUC von 0 bedeutet, dass das Modell völlig inkorrekt ist. Im Allgemeinen gilt, je größer die AUC, desto besser ist das Modell im Vergleich zu anderen Modellen.

make_roc_plot_and_get_auc <- function(predictions, true_values){

roc_curve <- roc(as.numeric(predictions), as.numeric(true_values) - 1)

plot(roc_curve, xlab = "False Positive Rate", ylab = "True Positive Rate", main ="ROC Curve")

auc <- auc(roc_curve)

return(auc)
}

Feature Importance

Um die Feature Importance genauer zu untersuchen, definieren wir eine Funktion, welche für ein Modell die Feature Importance berechnet und die Top 10 Features in einem Barplot ausgibt.Die Funktion plot_feature_importance() nimmt als Eingabeparameter ein maschinelles Lernmodell und plottet die Feature-Importance des Modells als Barplot. Die Funktion unterscheidet drei Arten von Modellen: Logistische Regressionen, Entscheidungsbäume und Random Forest. Für jede Art von Modell wird die Feature-Importance auf eine spezifische Art und Weise berechnet. Anschließend werden die Feature-Importance-Werte und die Namen der Features absteigend sortiert, wobei nur die 10 wichtigsten Features berücksichtigt werden. Der Barplot zeigt dann die Feature-Importance-Werte für die entsprechenden Features an. Der Titel des Plots lautet “Feature Importance” und die y-Achse ist mit “Importance” beschriftet. Die Namen der Features werden rotiert angezeigt, um Platz zu sparen, und die Farben der einzelnen Features sind unterschiedlich.

plot_feature_importance <- function(model) {
  
  # Logistische Regression
  if (class(model)[1] == "glm") {
    importance <- abs(coef(model)[-1])
    names <- names(importance)
  } 
  
  # Decision Tree
  else if (class(model)[1] == "rpart") {
    importance <- model$importance
    names <- row.names(importance)
  } 
  
  # Random Forest
  else if (class(model)[1] == "randomForest") {
    importance <- model$importance
    names <- row.names(importance)
  } 
  
  # Unrecognized model
  else {
    stop("Unrecognized model")
  }
  
  # Sort feature importance and names in decreasing order
  importance <- head(importance[order(importance, decreasing = TRUE)], 10)
  names <- names[order(importance, decreasing = TRUE)]
  
  # Plot feature importance
  barplot(importance, names.arg = names, las = 2, cex.names = 0.6,
          main = "Feature Importance", xlab = "", ylab = "Importance")
}

Baseline Modell

Als erstes soll eine logistische Regression mit den Informationen Alter, Geschlecht, Domizilregion, Vermögen (balance-Schnitt über alle Monate) und Umsatz (difference-Schnitt über alle Monate) als Baseline Modell erstellt werden.Dafür müssen wir kurz ein neues Dataframe erstellen.

baseline_data <- final_df
baseline_data$mean_balance <- rowMeans(final_df[, c("mean_balance_1", "mean_balance_2", "mean_balance_3", "mean_balance_4", 
                                                "mean_balance_5", "mean_balance_6", "mean_balance_7", "mean_balance_8", 
                                                "mean_balance_9", "mean_balance_10", "mean_balance_11", "mean_balance_12")])
baseline_data$mean_difference <- rowMeans(final_df[, c("mean_difference_1", "mean_difference_2", "mean_difference_3", "mean_difference_4", 
                                                  "mean_difference_5", "mean_difference_6", "mean_difference_7", "mean_difference_8", 
                                                  "mean_difference_9", "mean_difference_10", "mean_difference_11", "mean_difference_12")])
baseline_data <- baseline_data[, c("age", "gender", "region", "has_card", "mean_balance", "mean_difference")]
baseline_data$has_card <- as.factor(baseline_data$has_card)

Darauf wird ein Train-Test-Split mit 80% Trainingsdaten und 20% Testdaten gebraucht.

splits <- split_data(baseline_data, test_size = 0.2)
train <- splits$train
test <- splits$test

Das Regressionsmodell wird auf den Trainingsdaten trainiert.

# Fit the model on the training data
model <- glm(has_card ~ ., data = train, family = binomial)

Als nächstes sollen die Predictions gemacht und damit die Metriken erstellt werden. Da die logistische Regression eine Zahl zwischen 0 und 1 zurückgibt, müssen wir anhand eines Thresholds die Werte zu TRUE und FALSE umwandeln. Der Threshold gibt an, ab welchem Wahrscheinlichkeitswert eine Vorhersage als positiv betrachtet wird. Standardmäßig ist der Threshold auf 0.5 gesetzt, was bedeutet, dass alle Wahrscheinlichkeiten größer als 0.5 als positiv und alle Wahrscheinlichkeiten kleiner als 0.5 als negativ betrachtet werden.

# Make predictions on the test data
predictions <- predict(model, test, type = "response")

threshold <- 0.5
predictions_threshold <- ifelse(predictions > threshold, TRUE, FALSE)


get_metrics(predictions_threshold, test$has_card)
plot_confusion_matrix(predictions_threshold, test$has_card)

make_roc_plot_and_get_auc(predictions_threshold, test$has_card)
Setting levels: control = 0, case = 1
Setting direction: controls < cases
Area under the curve: 0.7489

plot_feature_importance(model)

Threshold

Der Threshold-Wert könnte aber angepasst werden. Je nach Veränderung werden die verschiedenen Metriken besser oder schlechter. Die Frage dabei ist, ob wir eher mehr falsche Positivvorhersagen oder Negativvorhersagen wollen. Wenn wir den Threshold senken, wird bspw. der Recall höher. Wenn wir den Threshold erhöhen, wird die Precision höher. Es ist aber nicht sinnvoll, anhand des Thresholds diese beiden Metriken zu maximieren, da es bei beiden fast keine Positiven bzw. Negative Predictions mehr gibt.

Der F1 ist eine Zusammenfassung der Precision und der Recall. Wir untersuchen, mit welchem Threshold der höchste F1-Score erzielt werden kann.

best_threshold <- 0
best_f1 <- 0
thresholds <- seq(0.01, 0.99, 0.01)
f1_scores <- rep(0, length(thresholds))

for (i in 1:length(thresholds)) {
  # Set the threshold for the predictions
  predictions_threshold <- ifelse(predictions > thresholds[i], TRUE, FALSE)
  
  if (all(predictions_threshold)) {
  next
} else if (all(!predictions_threshold)) {
  next
}
  
  # Calculate the f1
  f1 <- get_metrics(predictions_threshold, test$has_card)$f1
  
  f1_scores[i] <- f1
  
  # Update the best threshold and best f1 if necessary
  if (f1 > best_f1) {
    best_threshold <- thresholds[i]
    best_f1 <- f1
  }
}

# Display the best threshold and best recall
print(paste("Best threshold:", best_threshold))
[1] "Best threshold: 0.3"
print(paste("Best F1:", best_f1))
[1] "Best F1: 0.842105263157895"
plot(thresholds, f1_scores, type = "l", xlab = "Threshold", ylab = "F1 Score", main = "F1 Score with different thresholds")

Wie sehen die anderen Metriken mit diesem Threshold aus?

predictions_threshold <- ifelse(predictions > best_threshold, TRUE, FALSE)
get_metrics(predictions_threshold, test$has_card)

Regressionsmodell mit allen Daten

Nun soll dieses Baseline-Modell verbessert werden. Als erstes probieren wir, das gleiche Modell (Logistische Regression) mit mehr Input-Parametern zu trainieren.

Da die logistische Regression Probleme mit Faktoren hat, welche nur im Trainings- bzw. Testdatensatz vorkommen und auch nicht gut mit NA’s umgehen kann, müssen wir zuerst noch einige Anpassungen am Datensatz vornehmen.

Als erstes entfernen wir alle Kolonnen, welche Faktoren sind und mehr als 10 verschiedene Ausprägungen haben.

columns_to_remove
[1] "birth_date"             "date"                   "date.loans"             "issued"                 "district_name"          "district_name.accounts"

Nun muss der Datensatz noch auf NA’s überprüft werden.

sum(is.na(final_df_simplified))
[1] 3614
# Erstelle einen logischen Vektor, der angibt, ob jedes Element NA ist
na_matrix <- is.na(final_df_simplified)

# Summiere die Anzahl der NA- Werte pro Zeile
na_counts <- rowSums(na_matrix)
na_counts_cols <- colSums((na_matrix))

# Zähle die Zeilen mit NA- Werten
num_na_rows <- sum(na_counts > 0)
num_na_cols <- sum(na_counts_cols > 0)
num_na_rows
[1] 855
num_na_cols
[1] 32

Fast jede Zeile hat irgendwo ein NA. Es sind auch viele Kolonnen betroffen. Wir können also nicht alle Observationen oder Variabeln mit NA’s entfernen, da sonst der Datenverlust sehr gross wäre. Daher imputieren wir die numerischen fehlenden Werte mit dem Median und die fehlenden kategorialen Werte mit dem Wert, welcher am meisten vorkommt.

# Impute NA numbers with the median
final_df_simplified <- final_df_simplified %>% 
  mutate_if(is.numeric, list(~ if_else(is.na(.), median(., na.rm = TRUE), .)))

# Impute NA strings/factors with the most common value
final_df_simplified <- final_df_simplified %>% 
  mutate_if(is.character, list(~ if_else(is.na(.), mode(.), .)))
sum(is.na(final_df_simplified))
[1] 0
splits <- split_data(final_df_simplified, test_size = 0.2)
train <- splits$train
test <- splits$test
# Fit the model on the training data
model <- glm(has_card ~ ., data = train, family = binomial)
# Make predictions on the test data
predictions <- predict(model, test, type = "response")

threshold <- 0.5
predictions_threshold <- ifelse(predictions > threshold, TRUE, FALSE)

get_metrics(predictions_threshold, test$has_card)

Decision Tree

Die Klassifikation ist um einiges besser auf dem Decision Tree. Es scheint also für unseren Verwendungszweck der bessere Algorithmus zu sein. Wir untersuchen noch Erweiterungen des Decision Trees: der Random Forest.

Random Forest

Der Random Forest ist ein wenig besser als der Decision Tree. Als nächstes wollen wir probieren, ob eine Hyperparameteroptimierung unser Resultat noch verbessern kann.

Hyperparamter Optimierung auf Random Forest

Die Hyperparamtereoptimierung verbessert unseren Score nur minim.

Recursive Feature Elimnation

Eine Möglichkeit, die Leistung von Random Forest zu verbessern, ist die Verwendung von Recursive Feature Elimination (RFE).

RFE ist ein Feature Selection-Verfahren, das dazu verwendet wird, die wichtigsten Features (also diejenigen Merkmale, die für die Vorhersage am wichtigsten sind) auszuwählen und alle anderen zu entfernen. Dies hat mehrere Vorteile:

Es reduziert die Laufzeit von Random Forest, da weniger Features verarbeitet werden müssen. Es kann dazu beitragen, Overfitting zu vermeiden, indem es irrelevanten oder redundanten Features entfernt. Es kann dazu beitragen, die Interpretierbarkeit von Random Forest zu verbessern, da wichtigere Features leichter zu verstehen sind.

LS0tDQp0aXRsZTogImFtbCINCnN1YnRpdGxlOiAiTWluaS1DaGFsbGVuZ2UgMSINCmF1dGhvcjogIlBhc2NhbCBCZXJnZXIgdW5kIFJhcGhhZWwgU3RyZWJlbCINCmRhdGU6ICIxOC4gT2t0b2JlciAyMDIyIg0Kb3V0cHV0Og0KICBodG1sX25vdGVib29rOg0KICAgIHRvYzogdHJ1ZQ0KICAgIHRvY19kZXB0aDogNA0KICAgIGRmX3ByaW50OiBwYWdlZA0KICAgIHRvY19mbG9hdDoNCiAgICAgIGNvbGxhcHNlZDogdHJ1ZQ0KICAgICAgc21vb3RoX3Njcm9sbDogdHJ1ZQ0KICAgIHRoZW1lOiB1bml0ZWQNCiAgICBoaWdobGlnaHQ6IHRhbmdvDQogICAgY29kZV9mb2xkaW5nOiBoaWRlDQotLS0NClItVmVyc2lvbjogKipbRGVmYXVsdF0gWzY0LWJpdF0gQzpcXFByb2dyYW0gRmlsZXNcXFJcXFItNC4xLjAqKg0KDQojIEltcG9ydHMNCg0KYGBge3IgZWNobz1GQUxTRSwgY2FjaGU9RkFMU0UsIHJlc3VsdHM9RkFMU0UsIGNvbW1lbnQ9RkFMU0UsIHdhcm5pbmc9RkFMU0V9DQojIGNsZWFyIGVudmlyb25tZW50DQpybShsaXN0ID0gbHMoKSkNCg0KIyBuw7Z0aWdlIFBhY2tldGUNCnBhY2thZ2VzIDwtIGMoInRpZHl2ZXJzZSIsICJkYXRhLnRhYmxlIiwgInRpZHltb2RlbHMiLCAibHVicmlkYXRlIiwgImNhcmV0IikNCg0KIyBOb2NoIG5pY2h0IGluc3RhbGxpZXJ0ZSBQYWtldGUgaW5zdGFsbGllcmVuDQppbnN0YWxsZWRfcGFja2FnZXMgPC0gcGFja2FnZXMgJWluJSByb3duYW1lcyhpbnN0YWxsZWQucGFja2FnZXMoKSkNCg0KaWYgKGFueShpbnN0YWxsZWRfcGFja2FnZXMgPT0gRkFMU0UpKSB7DQogIGluc3RhbGwucGFja2FnZXMocGFja2FnZXNbIWluc3RhbGxlZF9wYWNrYWdlc10pDQp9DQojIExhZGVuIGRlciBQYWNrZXRlDQppbnZpc2libGUobGFwcGx5KHBhY2thZ2VzLCBsaWJyYXJ5LCBjaGFyYWN0ZXIub25seSA9IFRSVUUpKQ0KDQojIGNoYW5nZSBvcHRpb25zDQpvcHRpb25zKGRwbHlyLnN1bW1hcmlzZS5pbmZvcm0gPSBGQUxTRSkNCmBgYA0KDQpJbiBmb2xnZW5kZW0gSnVuayB3ZXJkZW4gYWxsZSBUYWJlbGxlbiBhdXMgZGVuIENTVidzIGVpbmdlbGVzZW4uDQpEb2t1IERhdGVuOiBodHRwczovL3NvcnJ5LnZzZS5jei9+YmVya2EvY2hhbGxlbmdlL1BBU1QvaW5kZXguaHRtbA0KKHJlY2h0ZSBTZWl0ZSBQS0REJzk5IENoYWxsZW5nZSA+IERhdGEgPiBGaW5hbmNpYWwgRGF0YSBEZXNjcmlwdGlvbikNCg0KDQojIEVpbmxlc2VuIGRlciBEYXRlbg0KDQpEZXIgRGF0ZW5zYXR6IGJlc3RlaHQgYXVzIGFjaHQgdmVyc2NoaWVkZW5lbiBUYWJlbGxlbiwgd2VsY2hlIHRlaWxzIGR1cmNoIEtleXMgbWl0ZWluYW5kZXIgdmVya27DvHBmdCBzaW5kLg0KYGBge3J9DQpyb290X3BhdGggPC0gIi4veHNlbGxpbmdfYmFua2luZ19kYXRhLTEveHNlbGxpbmdfYmFua2luZ19kYXRhLyINCg0KYWNjb3VudHMgPC0gcmVhZC5jc3YocGFzdGUwKHJvb3RfcGF0aCwgImFjY291bnQuY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCmNhcmRzIDwtIHJlYWQuY3N2KHBhc3RlMChyb290X3BhdGgsICJjYXJkLmNzdiIpLCBoZWFkZXIgPSBUUlVFLCBzZXAgPSAiOyIpDQpjbGllbnRzIDwtIHJlYWQuY3N2KHBhc3RlMChyb290X3BhdGgsICJjbGllbnQuY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCmRpc3Bvc2l0aW9ucyA8LSByZWFkLmNzdihwYXN0ZTAocm9vdF9wYXRoLCAiZGlzcC5jc3YiKSwgaGVhZGVyID0gVFJVRSwgc2VwID0gIjsiKQ0KZGlzdHJpY3RzIDwtIHJlYWQuY3N2KHBhc3RlMChyb290X3BhdGgsICJkaXN0cmljdC5jc3YiKSwgc2VwID0gIjsiKQ0KbG9hbnMgPC0gcmVhZC5jc3YocGFzdGUwKHJvb3RfcGF0aCwgImxvYW4uY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCm9yZGVycyA8LSByZWFkLmNzdihwYXN0ZTAocm9vdF9wYXRoLCAib3JkZXIuY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCnRyYW5zYWN0aW9ucyA8LSByZWFkLmNzdihwYXN0ZTAocm9vdF9wYXRoLCAidHJhbnMuY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCmBgYA0KDQojIENsZWFuaW5nDQoNCiMjIEFjY291bnRzDQpgYGB7cn0NCnNhbXBsZV9uKGFjY291bnRzLCA1KQ0KYGBgDQpEaWUgQWNjb3VudC1UYWJlbGxlIGVudGjDpGx0IHZpZXIgS29sb25uZW46IGRpZSBBY2NvdW50LUlELCBkaWUgRGlzdHJpY3QtSUQgKHdlbGNoZSBhdWYgZGllIERpc3RyaWN0LVRhYmVsbGUgdmVyd2Vpc3QpLCBkaWUgRnJlcXVlbnosIHdlbGNoZSBkaWUgSMOkdWZpZ2tlaXQgZGVyIEF1c3N0ZWxsdW5nIGRlciBBYnJlY2hudW5nZW4gYWxzIEthdGVnb3JpZSBiZXNhZ3QsIHVuZCBkYXMgRXJzdGVsbHVuZ3NkYXR1bSBkZXMgQWNjb3VudHMuIERpZSBGcmVxdWVueiBrYW5uIGVpbmUgdm9uIGRyZWkgdmVyc2NoaWVkZW5lbiBXZXJ0ZW4gYW5uZWhtZW4uDQoNCmBgYHtyfQ0KdW5pcXVlKGFjY291bnRzJGZyZXF1ZW5jeSkNCmBgYA0KDQpOYWNoZm9sZ2VuZCBzb2xsZW4gZGllIEZyZXF1ZW56LVdlcnRlIMO8YmVyc2V0enQgdW5kIGRhcyBEYXR1bSBpbiBlaW4gcmljaHRpZ2VzIEZvcm1hdCB0cmFuc2Zvcm1pZXJ0IHdlcmRlbi4gQXVzc2VyZGVtIHNvbGwgZGllIFRhYmVsbGUgYXVmIGZlaGxlbmRlIFdlcnRlIMO8YmVycHLDvGZ0IHdlcmRlbi4NCg0KYGBge3J9DQphY2NvdW50cyRkYXRlIDwtIGFzLkRhdGUoYXMuY2hhcmFjdGVyKGFjY291bnRzJGRhdGUpLCBmb3JtYXQ9ICIleSVtJWQiKQ0KDQphY2NvdW50cyRmcmVxdWVuY3lbYWNjb3VudHMkZnJlcXVlbmN5ID09ICJQT1BMQVRFSyBNRVNJQ05FIl0gICA8LSAibW9udGhseSINCmFjY291bnRzJGZyZXF1ZW5jeVthY2NvdW50cyRmcmVxdWVuY3kgPT0gIlBPUExBVEVLIFRZRE5FIl0gICAgIDwtICJ3ZWVrbHkiDQphY2NvdW50cyRmcmVxdWVuY3lbYWNjb3VudHMkZnJlcXVlbmN5ID09ICJQT1BMQVRFSyBQTyBPQlJBVFUiXSA8LSAiYWZ0ZXJfdHJhbnNhY3Rpb24iDQoNCnN1bShpcy5uYShhY2NvdW50cykpDQpgYGANCg0KRXMgZ2lidCBhbHNvIGtlaW5lIGZlaGxlbmRlIFdlcnRlIGluIGRpZXNlbSBEYXRhZnJhbWUuDQoNCiMjIENhcmRzDQoNCmBgYHtyfQ0Kc2FtcGxlX24oY2FyZHMsIDUpDQpgYGANCkF1Y2ggYmVpIGNhcmQgbXVzcyBkYXMgRGF0dW0gdW1nZXdhbmRlbHQgd2VyZGVuLCBkZXIgemVpdGxpY2hlIFRlaWwgd2lyZCBpZ25vcmllcnQsIGRhIGVyIGltbWVyIDAgaXN0Lg0KDQpgYGB7cn0NCmNhcmRzJGlzc3VlZCA8LSBhcy5EYXRlKGFzLmNoYXJhY3RlcihjYXJkcyRpc3N1ZWQpLCBmb3JtYXQ9ICIleSVtJWQiKQ0KDQpjYXJkcyR0eXBlW2NhcmRzJHR5cGUgPT0gImdvbGQiXSAgICAgPC0gImNsYXNzaWMiDQpjYXJkcyA8LSBmaWx0ZXIoY2FyZHMsIHR5cGUgPT0gImNsYXNzaWMiKQ0KDQpzdW0oaXMubmEoY2FyZHMpKQ0KYGBgDQoNCiMjIENsaWVudHMNCg0KYGBge3J9DQpzYW1wbGVfbihjbGllbnRzLCAxMCkNCmBgYA0KDQpJbiBkZXIgVGFiZWxsZSBleGlzdGllcnQgZGllIFNwYWx0ZSBiaXJ0aF9udW1iZXIsIHdlbGNoZXIgbWFuIGF1ZiBkZW4gZXJzdGVuIEJsaWNrIGRpZSBEYXR1bXNyw6RwcmVzZW50YXRpb24gbmljaHQgYW5zaWVodC4NCkluIGRlciBEb2t1IHdpcmQgZGllIFN0cnVrdHVyIGRldXRsaWNoLCBzaWUgaXN0IGbDvHIgTcOkbm5lciBZWU1NREQgdW5kIGbDvHIgRnJhdWVuIFlZTU1ERCs1MERELg0KSW4gRm9sZ2Ugd2lyZCBkaWUgTnVtbWVyIGluIGlocmUgRGF0dW1zcsOkcHJlc2VudGF0aW9uIGtvbnZlcnRpZXJ0IHVuZCBkaWUgU3BhbHRlICJnZW5kZXIiIGFscyBtYWxlL2ZlbWFsZSBhdWZnZXNjaGzDvHNzZWx0Lg0KWnVkZW0gd2lyZCBkYXMgQWx0ZXIgZGVyIGNsaWVudHMgYmV6b2dlbiBhdWYgZGFzIEphaHIgMTk5OSBoZXJhdXNleHRyYWhpZXJ0LCBkYSBkZXIgRGF0ZW5zYXR6IGF1cyBkaWVzZW0gSmFociBzdGFtbXQuDQpFcyB3aXJkIG5pY2h0IHllYXIoU3lzLkRhdGUoKSkgdmVyd2VuZGV0LCBkYW1pdCBkaWUgRGF0ZW4gYXVjaCBpbiBadWt1bmZ0IGtvbnNpc3RlbnQgYmxpZWJlbi4NCg0KDQoNCmBgYHtyfQ0KIyBNb250aHMgYWJvdmUgMTIgbXVzdCBiZSBmZW1hbGUNCmNsaWVudHMgPC0gbXV0YXRlKGNsaWVudHMsIGdlbmRlciA9IA0KICAgICAgICAgICAgICAgICAgICAgaWZlbHNlKHN1YnN0cihiaXJ0aF9udW1iZXIsIDMsIDQpID4gMTIsICJmZW1hbGUiLCAibWFsZSIpKQ0KDQojIFN1YnN0cmFjdCB0aGUgNTAgdG8gZ2V0IHRoZSBiaXJ0aCBtb250aA0KY2xpZW50cyA8LSBtdXRhdGUoY2xpZW50cywgYmlydGhfbW9udGggPQ0KICAgICAgICAgICAgICAgICAgICAgaWZlbHNlKGFzLm51bWVyaWMoc3Vic3RyKGJpcnRoX251bWJlciwgMywgNCkpID4gMTIsDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgYXMubnVtZXJpYyhzdWJzdHIoYmlydGhfbnVtYmVyLCAzLCA0KSkgLSA1MCwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICBhcy5udW1lcmljKHN1YnN0cihiaXJ0aF9udW1iZXIsIDMsIDQpKSkpDQoNCiMgVHJhbnNmb3JtIHRoZSBiaXJ0aF9udW1iZXIgdG8gYSBkYXRlDQpjbGllbnRzIDwtIG11dGF0ZShjbGllbnRzLCBiaXJ0aF9udW1iZXIgPSBwYXN0ZSgiMTkiLA0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgc3Vic3RyKGJpcnRoX251bWJlciwgMSwgMiksIA0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgc3RyX3BhZChiaXJ0aF9tb250aCwgMiwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcGFkID0gIjAiKSwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHN1YnN0cihiaXJ0aF9udW1iZXIsIDUsIDYpLA0KICAgICAgICAgICAgICAgICAgIHNlcCA9ICIiLCBjb2xsYXBzZSA9IE5VTEwpKQ0KY2xpZW50cyRiaXJ0aF9kYXRlIDwtIGFzLkRhdGUoYXMuY2hhcmFjdGVyKGNsaWVudHMkYmlydGhfbnVtYmVyKSwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBmb3JtYXQ9ICIlWSVtJWQiKQ0KDQojIFJlbW92ZSB1bnVzZWQgY29sdW1ucw0KY2xpZW50cyRiaXJ0aF9tb250aCA8LSBOVUxMDQpjbGllbnRzJGJpcnRoX251bWJlciA8LSBOVUxMDQoNCiMgR2V0IHRoZSBhZ2Ugb2YgdGhlIGNsaWVudHMgaW4gdGhlIHllYXIgMTk5OSBhbmQgc2F2ZSBpdCBpbiBhIGNvbHVtbg0KZ2V0X2FnZSA8LSBmdW5jdGlvbihiaXJ0aF9kYXRlKSB7DQogIGJhc2VfeWVhciA8LSA5OQ0KICB5ZWFyIDwtIHN1YnN0cihiaXJ0aF9kYXRlLCAzLCA0KQ0KICByZXN1bHQgPC0gYmFzZV95ZWFyIC0gYXMuaW50ZWdlcih5ZWFyKQ0KICANCiAgcmV0dXJuKHJlc3VsdCkNCn0NCmNsaWVudHMgPC0gY2xpZW50cyAlPiUNCiAgIG11dGF0ZShhZ2UgPSBnZXRfYWdlKGJpcnRoX2RhdGUpKQ0KDQpzdW0oaXMubmEoY2xpZW50cykpDQpgYGANCmBgYHtyfQ0KYWNjb3VudHMNCmNsaWVudHMNCmBgYA0KDQoNCg0KIyMgRGlzcG9zaXRpb25zDQoNCmBgYHtyfQ0Kc2FtcGxlX24oZGlzcG9zaXRpb25zLCA1KQ0KYGBgDQoNCkJlaSBEaXNwb3NpdGlvbnMgc29sbGVuIG51ciBPd25lcnMgdmVyd2VuZGV0IHdlcmRlbiwgZGEgZGllIEFuYWx5c2UgbnVyIEVpZ2VudMO8bWVyIHZvbiBLb250ZW4gYmVoYW5kZWxuIHNvbGwuDQoNCmBgYHtyfQ0KZGlzcG9zaXRpb25zIDwtIGRpc3Bvc2l0aW9ucyAlPiUgZmlsdGVyKHR5cGUgPT0gJ09XTkVSJykNCg0Kc3VtKGlzLm5hKGRpc3Bvc2l0aW9ucykpDQpgYGANCg0KIyMgRGlzdHJpY3RzDQoNCkJlaSBkaXN0cmljdCBzaW5kIGRpZSBTcGFsdGVubmFtZW4gZGVyIFRhYmVsbGUgYWJoYW5kZW4gZ2Vrb21tZW4uDQpIaWVyIHdlcmRlbiBkaWUgVGFiZWxsZW5uYW1lbiB1bWJlbmFubnQsIGdlbcOkc3MgRG9rdS4NCg0KYGBge3J9DQpkaXN0cmljdHMgPC0gcmVuYW1lKGRpc3RyaWN0cywgZGlzdHJpY3RfaWQgPSBBMSwgZGlzdHJpY3RfbmFtZSA9IEEyLCByZWdpb24gPSBBMywgDQogICAgICAgICAgICAgICAgICAgaW5oYWJpdGFudHMgPSBBNCwgbXVuaWNpcGFsaXRpZXNfaW5oYWJpdGFudHNfc21hbGxlcl80OTkgPSBBNSwgDQogICAgICAgICAgICAgICAgICAgbXVuaWNpcGFsaXRpZXNfaW5oYWJpdGFudHNfNTAwX3RvXzE5OTkgPSBBNiwgDQogICAgICAgICAgICAgICAgICAgbXVuaWNpcGFsaXRpZXNfaW5oYWJpdGFudHNfMjAwMF90b185OTk5ID0gQTcsIA0KICAgICAgICAgICAgICAgICAgIG11bmljaXBhbGl0aWVzX2luaGFiaXRhbnRzX2xhcmdlcl8xMDAwMCA9IEE4LCBjaXRpZXMgPSBBOSwgDQogICAgICAgICAgICAgICAgICAgdXJiYW5faW5oYWJpdGFudHNfcmF0aW8gPSBBMTAsIGF2ZXJhZ2Vfc2FsYXJ5ID0gQTExLA0KICAgICAgICAgICAgICAgICAgIHVuZW1wbG95bWVudF9yYXRlXzk1ID0gQTEyLCB1bmVtcGxveW1lbnRfcmF0ZV85NiA9IEExMywNCiAgICAgICAgICAgICAgICAgICBlbnRyZXByZW5ldXJzX3Blcl8xMDAwID0gQTE0LCBjcmltZXNfOTUgPSBBMTUsDQogICAgICAgICAgICAgICAgICAgY3JpbWVzXzk2ID0gQTE2KQ0KDQpzdW0oaXMubmEoZGlzdHJpY3RzKSkNCmBgYA0KDQojIyBUcmFuc2FjdGlvbnMNCg0KYGBge3J9DQpzYW1wbGVfbih0cmFuc2FjdGlvbnMsIDUpDQpgYGANCg0KDQpJbiBkZW4gVHJhbnNha3Rpb25lbiBtdXNzIGRhcyBEYXR1bSBnZW3DpHNzIEZvcm1hdCBZWU1NREQga29udmVydGllcnQgd2VyZGVuLg0KDQpgYGB7cn0NCiMgUmVuYW1lIGtfc3ltYm9sDQp0cmFuc2FjdGlvbnMgPC0gcmVuYW1lKHRyYW5zYWN0aW9ucywgYygiY2hhcmFjdGVyaXphdGlvbiIgPSAia19zeW1ib2wiKSkgDQoNCiMgQ2hhbmdlIGZvcm1hdHMNCnRyYW5zYWN0aW9ucyRkYXRlIDwtIGFzLkRhdGUoYXMuY2hhcmFjdGVyKHRyYW5zYWN0aW9ucyRkYXRlKSwgZm9ybWF0PSAiJXklbSVkIikNCnRyYW5zYWN0aW9ucyRhbW91bnQgPC0gYXMubnVtZXJpYyh0cmFuc2FjdGlvbnMkYW1vdW50KQ0KdHJhbnNhY3Rpb25zJGJhbGFuY2UgPC0gYXMubnVtZXJpYyh0cmFuc2FjdGlvbnMkYmFsYW5jZSkNCg0KIyBUcmFuc2xhdGUgdmFsdWVzDQp0cmFuc2FjdGlvbnMkdHlwZVt0cmFuc2FjdGlvbnMkdHlwZSA9PSAiUFJJSkVNIl0gPC0gImNyZWRpdCINCnRyYW5zYWN0aW9ucyR0eXBlW3RyYW5zYWN0aW9ucyR0eXBlID09ICJWWURBSiJdICA8LSAid2l0aGRyYXdhbCINCnRyYW5zYWN0aW9ucyR0eXBlW3RyYW5zYWN0aW9ucyR0eXBlID09ICJWWUJFUiJdICA8LSAid2l0aGRyYXdhbCINCg0KdHJhbnNhY3Rpb25zJG9wZXJhdGlvblt0cmFuc2FjdGlvbnMkb3BlcmF0aW9uID09ICJWS0xBRCJdICAgICAgICAgIDwtICJjYXNoIGNyZWRpdCINCnRyYW5zYWN0aW9ucyRvcGVyYXRpb25bdHJhbnNhY3Rpb25zJG9wZXJhdGlvbiA9PSAiUFJFVk9EIFogVUNUVSJdICA8LSAiY29sbGVjdGlvbiINCnRyYW5zYWN0aW9ucyRvcGVyYXRpb25bdHJhbnNhY3Rpb25zJG9wZXJhdGlvbiA9PSAiVllCRVIiXSAgICAgICAgICA8LSAiY2FzaCB3aXRoZHJhd2FsIg0KdHJhbnNhY3Rpb25zJG9wZXJhdGlvblt0cmFuc2FjdGlvbnMkb3BlcmF0aW9uID09ICIgIl0gICAgICAgICAgICAgIDwtICJ1bmtub3duIg0KdHJhbnNhY3Rpb25zJG9wZXJhdGlvblt0cmFuc2FjdGlvbnMkb3BlcmF0aW9uID09ICJQUkVWT0QgTkEgVUNFVCJdIDwtICJyZW1pdHRhbmNlIg0KdHJhbnNhY3Rpb25zJG9wZXJhdGlvblt0cmFuc2FjdGlvbnMkb3BlcmF0aW9uID09ICJWWUJFUiBLQVJUT1UiXSAgIDwtICJjYXJkIHdpdGhkcmF3YWwiDQoNCnRyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uW3RyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uID09ICIgIl0gPC0gInVua25vd24iDQp0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvblt0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvbiA9PSAiRFVDSE9EIl0gPC0gInBlbnNpb24iDQp0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvblt0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvbiA9PSAiVVJPSyJdIDwtICJpbnRlcmVzdCINCnRyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uW3RyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uID09ICJTSVBPIl0gPC0gImhvdXNlaG9sZCINCnRyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uW3RyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uID09ICJTTFVaQlkiXSA8LSAicGF5bWVudCBzdGF0ZW1lbnQiDQp0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvblt0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvbiA9PSAiUE9KSVNUTkUiXSA8LSAiaW5zdXJhbmNlIg0KdHJhbnNhY3Rpb25zJGNoYXJhY3Rlcml6YXRpb25bdHJhbnNhY3Rpb25zJGNoYXJhY3Rlcml6YXRpb24gPT0gIlNBTktDLiBVUk9LIl0gIDwtICJuZWdfaW50ZXJlc3QiDQp0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvblt0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvbiA9PSAiVVZFUiJdICA8LSAibG9hbl9wYXkiDQoNCnN1bShpcy5uYSh0cmFuc2FjdGlvbnMpKQ0KYGBgDQoNCiMjIE9yZGVycw0KDQpgYGB7cn0NCnNhbXBsZV9uKG9yZGVycywgNSkNCmBgYA0KDQpgYGB7cn0NCiMgUmVuYW1lIGNvbHVtbiBrX3N5bWJvbA0Kb3JkZXJzIDwtIHJlbmFtZShvcmRlcnMsICJjaGFyYWN0ZXJpemF0aW9uIiA9ICJrX3N5bWJvbCIpIA0KDQojIFRyYW5zbGF0ZSBjb2x1bW4gY2hhcmFjdGVyaXphdGlvbg0Kb3JkZXJzJGNoYXJhY3Rlcml6YXRpb25bb3JkZXJzJGNoYXJhY3Rlcml6YXRpb24gPT0gIlNJUE8iXSAgICAgPC0gImhvdXNlaG9sZCINCm9yZGVycyRjaGFyYWN0ZXJpemF0aW9uW29yZGVycyRjaGFyYWN0ZXJpemF0aW9uID09ICJVVkVSIl0gICAgIDwtICJsb2FuIg0Kb3JkZXJzJGNoYXJhY3Rlcml6YXRpb25bb3JkZXJzJGNoYXJhY3Rlcml6YXRpb24gPT0gIlBPSklTVE5FIl0gPC0gImluc3VyYW5jZSINCm9yZGVycyRjaGFyYWN0ZXJpemF0aW9uW29yZGVycyRjaGFyYWN0ZXJpemF0aW9uID09ICJMRUFTSU5HIl0gIDwtICJsZWFzaW5nIg0KDQojIENhdGVnb3JpemUgTkEgYXMgdW5rbm93bg0Kb3JkZXJzJGNoYXJhY3Rlcml6YXRpb25baXMubmEob3JkZXJzJGNoYXJhY3Rlcml6YXRpb24pXSA8LSAidW5rbm93biINCg0Kb3JkZXJzJGFtb3VudCA8LSBhcy5udW1lcmljKG9yZGVycyRhbW91bnQpDQoNCnN1bShpcy5uYShsb2FucykpDQpgYGANCg0KDQojIyBMb2Fucw0KDQpgYGB7cn0NCnNhbXBsZV9uKGxvYW5zLCA1KQ0KYGBgDQoNCmBgYHtyfQ0KbG9hbnMkZGF0ZSA8LSBhcy5EYXRlKGFzLmNoYXJhY3Rlcihsb2FucyRkYXRlKSwgZm9ybWF0PSAiJXklbSVkIikNCmxvYW5zJHBheW1lbnRzIDwtIGFzLm51bWVyaWMobG9hbnMkcGF5bWVudHMpDQpsb2FucyRhbW91bnQgPC0gYXMubnVtZXJpYyhsb2FucyRhbW91bnQpDQoNCiMgTWFrZSBjb2x1bW4gc3RhdHVzIGh1bWFuIHJlYWRhYmxlDQpsb2FucyRzdGF0dXNbbG9hbnMkc3RhdHVzID09ICJBIl0gPC0gImZpbmlzaGVkX3BheWVkIg0KbG9hbnMkc3RhdHVzW2xvYW5zJHN0YXR1cyA9PSAiQiJdIDwtICJmaW5pc2hlZF9ub3RfcGF5ZWQiDQpsb2FucyRzdGF0dXNbbG9hbnMkc3RhdHVzID09ICJDIl0gPC0gInJ1bm5pbmdfb2siDQpsb2FucyRzdGF0dXNbbG9hbnMkc3RhdHVzID09ICJEIl0gPC0gInJ1bm5pbmdfaW5fZGVidCINCg0Kc3VtKGlzLm5hKGxvYW5zKSkNCmBgYA0KDQoNCiMgWnVzYW1tZW5mw7xnZW4gZGVyIERhdGFmcmFtZXMNCg0KSW4gZGllc2VtIEFic2Nobml0dCB3ZXJkZW4gZGllIHZlcnNjaGllZGVuZW4gVGFiZWxsZW4genVzYW1tZW4gZ2VzZXR6dC4NCkRhYmVpIHdlcmRlbiBsb2FuLCBjYXJkcyB1bmQgZGlzdHJpY3QgaXQgbGVmdCBqb2luIGFuZ2Vow6RuZ3QsIGRhbWl0IGZlaGxlbmRlIFNwYWx0ZW4gbmljaHQgZGVuIERhdGVuc2F0eiB2ZXJrbGVpbmVybi4NCkRpZSBUcmFuc2FrdGlvbnNkYXRlbiB3ZXJkZW4gaGllciBub2NoIG5pY2h0IHp1c2FtbWVuZ2Vmw7xocnQuDQoNCmBgYHtyfQ0KIyBDbGllbnRzIG1pdCBkaXNwb3NpdGlvbnMNCmZ1bGwgPC0gaW5uZXJfam9pbihjbGllbnRzLCBkaXNwb3NpdGlvbnMsIGJ5ID0gImNsaWVudF9pZCIsIHN1ZmZpeCA9IGMoIi5jbGllbnQiLCAiLmRpc3Bvc2l0aW9ucyIpKQ0Kc3VtKGR1cGxpY2F0ZWQoZnVsbCRjbGllbnRfaWQpKQ0KDQojIEZ1bGwgbWl0IGFjY291bnQNCmZ1bGwgPC0gaW5uZXJfam9pbihmdWxsLCBhY2NvdW50cywgYnkgPSAiYWNjb3VudF9pZCIsIHN1ZmZpeCA9IGMoIiIsICIuYWNjb3VudHMiKSkNCnN1bShkdXBsaWNhdGVkKGZ1bGwkYWNjb3VudF9pZCkpDQoNCiMgRnVsbCBtaXQgbG9hbg0Kc3VtKGR1cGxpY2F0ZWQobG9hbnMkYWNjb3VudF9pZCkpDQpmdWxsIDwtIGxlZnRfam9pbihmdWxsLCBsb2FucywgYnkgPSAiYWNjb3VudF9pZCIsIHN1ZmZpeCA9IGMoIiIsICIubG9hbnMiKSkNCg0KIyBGdWxsIG1pdCBjYXJkcw0KZnVsbCA8LSBsZWZ0X2pvaW4oZnVsbCwgY2FyZHMsIGJ5ID0gImRpc3BfaWQiLCBzdWZmaXggPSBjKCIiLCAiLmNhcmRzIikpDQpzdW0oZHVwbGljYXRlZChjYXJkcyRkaXNwX2lkKSkNCg0KIyBEaXN0cmljdCBJbmZvcm1hdGlvbnMgZm9yIGNsaWVudA0KZnVsbCA8LSBsZWZ0X2pvaW4oZnVsbCwgZGlzdHJpY3RzLCBieSA9ICJkaXN0cmljdF9pZCIpDQoNCiMgRGlzdHJpY3QgaW5mb3JtYXRpb25zIGZvciBjYXJkDQpmdWxsIDwtIGxlZnRfam9pbihmdWxsLCBkaXN0cmljdHMsIGJ5ID0gYygiZGlzdHJpY3RfaWQuYWNjb3VudHMiPSJkaXN0cmljdF9pZCIpLCBzdWZmaXggPSBjKCIiLCAiLmFjY291bnRzIikpDQoNCnNhbXBsZV9uKGZ1bGwsIDUpDQpgYGANCg0KSnVnZW5kbGljaGUgdW5kIFBlcnNvbmVuLCB3ZWxjaGUgd8OkaHJlbmQgZGVzIFplaXRyYXVtcyBkZXMgRGF0ZW5zYXR6ZXMgZXJzdCBlcndhY2hzZW4gd29yZGVuIHNpbmQsIHNvbGxlbiBuaWNodCBpbiBkaWUgQXVzd2VydHVuZyBlaW5mbGllc3Nlbi4NCkRhIHNpY2hlciBkZXIgRGF0ZW5zYXR6IMO8YmVyIGVpbmVuIFplaXRyYXVtIHZvbiBzZWNocyBKYWhyZW4gZXJzdHJlY2t0IHdlcmRlbiBhbGxlIENsaWVudHMgasO8bmdlciBhbHMgMjUgSmFocmUgaGVyYXVzZ2VmaWx0ZXJ0Lg0KDQpgYGB7cn0NCmZ1bGwgPC0gZnVsbCAlPiUgZmlsdGVyKGFnZSA+PSAyNSkNCmBgYA0KDQpgYGB7cn0NCmZ1bGwNCmBgYA0KDQoNCg0KQWxzIG7DpGNoc3RlcyB3ZXJkZW4gYWxsZSBaZWlsZW4gbWl0IEtyZWRpdGthcnRlbmvDpHVmZXJuIHZvbiBkZW4gTmljaHQtS8OkdWZlcm4gZ2V0cmVubnQNCg0KDQpgYGB7cn0NCmhhc19jYXJkX2Z1bmN0aW9uIDwtIGZ1bmN0aW9uKHgpIHsNCiAgaWYgKGlzLm5hKHgpKSB7DQogICAgcmV0dXJuKEZBTFNFKQ0KICB9IGVsc2Ugew0KICAgIHJldHVybihUUlVFKQ0KICB9DQp9DQoNCiMgRXJzdGVsbGUgZGllIG5ldWUgU3BhbHRlICJoYXNfY2FyZCIgbWl0IGRlciBhcHBseSgpLUZ1bmt0aW9uIHVuZCBkZXIgb2JlbiBkZWZpbmllcnRlbiBGdW5rdGlvbg0KZnVsbCRoYXNfY2FyZCA8LSBzYXBwbHkoZnVsbFssICJjYXJkX2lkIl0sIGhhc19jYXJkX2Z1bmN0aW9uKQ0KZnVsbCA8LSBmdWxsICU+JSBzZWxlY3QoLWNhcmRfaWQsIC10eXBlLmNhcmRzKQ0KDQpjYXJkX2J1eWVycyA8LSBmdWxsICU+JSBmaWx0ZXIoaGFzX2NhcmQgPT0gVFJVRSkNCg0Kbm9uX2J1eWVycyA8LSBmdWxsICU+JSBmaWx0ZXIoaGFzX2NhcmQgPT0gRkFMU0UpDQpgYGANCg0KSmV0enQga8O2bm5lbiB3aXIgbm9jaCBlaW5pZ2UgVmFyaWFiZWxuIGVudGZlcm5lbiwgd2VsY2hlIGtlaW5lbiBFaW5mbHVzcyBhdWYgZGFzIE1vZGVsbCBoYWJlbiBzb2xsdGVuLiANCg0KIyBBdWZzdW1taWVyZW4gZGVyIFRyYW5zYWt0aW9uZW4NCg0KYGBge3J9DQpzYW1wbGVfbih0cmFuc2FjdGlvbnMsIDUpDQpgYGANCg0KDQpCZWkgZGVuIFRyYW5zYWt0aW9uZW4gaXN0IGpld2VpbHMgZGllIG5ldWUgQmFsYW5jZSB1bmQgZGVyIEJldHJhZyBkZXIgVHJhbnNha3Rpb24gYW5nZWdlYm4uIERhcyBQcm9ibGVtIGRhYmVpIGlzdCwgZGFzcyBhbGxlIEJldHLDpGdlIHBvc2l0aXYgc2luZCwgYXVjaCB3ZW5uIHNpZSBlaWdlbnRsaWNoIGFiZ2V6b2dlbiB3ZXJkZW4uIA0KDQpgYGB7cn0NCmRmIDwtIHRyYW5zYWN0aW9ucw0KDQojIEtvbnZlcnRpZXJlbiBTaWUgZGFzICdkYXRlJy1GZWxkIGluIGVpbiBEYXR1bQ0KZGYkZGF0ZSA8LSBhcy5EYXRlKGRmJGRhdGUpDQoNCiMgU29ydGllcmVuIFNpZSBkYXMgRGF0YWZyYW1lIG5hY2ggTnV0emVyIHVuZCBEYXR1bQ0KZGYgPC0gZGZbb3JkZXIoZGYkYWNjb3VudF9pZCwgZGYkZGF0ZSksIF0NCg0KIyBHcnVwcGllcmVuIFNpZSBkYXMgRGF0YWZyYW1lIG5hY2ggTnV0emVyDQpkZiA8LSBncm91cF9ieShkZiwgYWNjb3VudF9pZCkNCg0KIyBJdGVyaWVyZW4gU2llIMO8YmVyIGplZGVuIE51dHplciB1bmQgYmVhcmJlaXRlbiBTaWUgZGllIFRyYW5zYWt0aW9uZW4NCmRmIDwtIGRmICU+JSANCiAgc3VtbWFyaXplKHRyYW5zYWN0aW9ucyA9IHsNCiAgICAjIEbDvGdlbiBTaWUgZWluZSBTcGFsdGUgbWl0IGRlbSB2b3JoZXJpZ2VuIEtvbnRvc3RhbmQgaGluenUNCiAgICBwcmV2X2JhbGFuY2UgPC0gaWZlbHNlKHJvd19udW1iZXIoKSA9PSAxLCBOQSwgbGFnKGJhbGFuY2UsIG9yZGVyX2J5ID0gZGF0ZSkpDQoNCiAgICAjIEJlcmVjaG5lbiBTaWUgZGVuIFVudGVyc2NoaWVkIHp3aXNjaGVuIGRlbSB2b3JoZXJpZ2VuIEtvbnRvc3RhbmQgdW5kIGRlbSBha3R1ZWxsZW4gS29udG9zdGFuZA0KICAgIGRpZmZlcmVuY2UgPC0gYmFsYW5jZSAtIHByZXZfYmFsYW5jZQ0KDQogICAgIyBGw7xnZW4gU2llIGVpbmUgU3BhbHRlIG1pdCBkZXIgVHJhbnNha3Rpb25zYXJ0IGhpbnp1DQogICAgdHlwZSA8LSAiYWRkIg0KICAgIHR5cGVbZGlmZmVyZW5jZSA8IDBdIDwtICJzdWJ0cmFjdCINCg0KICAgICMgRXJzdGVsbGVuIFNpZSBkYXMgRGF0YWZyYW1lIG1pdCBkZW4gVHJhbnNha3Rpb25lbiBmw7xyIGplZGVuIE51dHplcg0KICAgIHRyYW5zYWN0aW9uc19kZiA8LSBkYXRhLmZyYW1lKGFtb3VudCwgZGF0ZSwgYmFsYW5jZSwgcHJldl9iYWxhbmNlLCBkaWZmZXJlbmNlLCB0eXBlKQ0KICAgIHRyYW5zYWN0aW9uc19kZg0KICB9KSAlPiUNCiAgdW5ncm91cCgpDQoNCnRyYW5zYWN0aW9ucyA8LSB1bm5lc3QoZGYsIHRyYW5zYWN0aW9ucykNCg0KIyBIaW56dWbDvGdlbiBkZXMgZXJzdGVuIGFtb3VudHMgYmVpIGplZGVtIEFjY291bnQNCnRyYW5zYWN0aW9ucyRkaWZmZXJlbmNlIDwtIGlmZWxzZShpcy5uYSh0cmFuc2FjdGlvbnMkZGlmZmVyZW5jZSkgJiBpcy5uYSh0cmFuc2FjdGlvbnMkcHJldl9iYWxhbmNlKSAmICh0cmFuc2FjdGlvbnMkYW1vdW50ID09IHRyYW5zYWN0aW9ucyRiYWxhbmNlKSwgdHJhbnNhY3Rpb25zJGFtb3VudCwgdHJhbnNhY3Rpb25zJGRpZmZlcmVuY2UpDQoNCnRyYW5zYWN0aW9ucyRhbW91bnQgPC0gTlVMTA0KDQp0cmFuc2FjdGlvbnMNCmBgYA0KDQojIyBadXNhbW1lbmZhc3NlbiBkZXIgVHJhbnNha3Rpb25lbiBmw7xyIENhcmQgQnV5ZXJzDQoNClVtIGRpZSBUcmFuc2FrdGlvbnMtRGF0ZW4gaW4gdW5zZXJlbiBNb2RlbGxlbiBicmF1Y2hlbiB6dSBrw7ZubmVuLCBtdXNzIGbDvHIgamVkZW4gS3VuZGUgZWluIFJvbGx1cC1GZW5zdGVyIGVyc3RlbGx0IHdlcmRlbi4gRGllcyBmYXNzdCBkaWUgVHJhbnNha3Rpb25lbiBkZXIgenfDtmxmIE1vbmF0ZSB2b3IgZGVtIEVyaGFsdCBlaW5lciBLcmVkaXRrYXJ0ZSB6dXNhbW1lbiAobWludXMgZWluZW4gTW9uYXQgSW5wdXQgTGFnKS4gQXVmIGRpZXNlbiBNb25hdGVuIHdlcmRlbiBkaWUgVHJhbnNha3Rpb25lbiB6dXNhbW1lbmdlZmFzc3QuDQoNCkFscyBlcnN0ZXMgd2VyZGVuIGRpZSBUcmFuc2FrdGlvbmVuIHZvbiBLdW5kZW4gaGVyYXVzZ2VmaWx0ZXJ0LCB3ZWxjaGUgZWluZSBLcmVkaXRrYXJ0ZSBoYWJlbi4NCg0KYGBge3J9DQphY2NvdW50X2lkcyA8LSBjYXJkX2J1eWVycyRhY2NvdW50X2lkDQpidXllcl90cmFuc2FjdGlvbnMgPC0gdHJhbnNhY3Rpb25zW3RyYW5zYWN0aW9ucyRhY2NvdW50X2lkICVpbiUgYWNjb3VudF9pZHMsXQ0KYGBgDQoNCkRhcyBpc3N1ZWQtRGF0dW0gc29sbCB6dSBkZW4gVHJhbnNha3Rpb25lbiBoaW56dWdlZsO8Z3Qgd2VyZGVuLCBkYW1pdCBkaWVzZSBmw7xyIGplZGVuIEt1bmRlbiBlaW56ZWxuIGdlZmlsdGVydCB3ZXJkZW4ga8O2bm5lbi4NCg0KYGBge3J9DQpidXllcl90cmFuc2FjdGlvbnMgPC0gbWVyZ2UoYnV5ZXJfdHJhbnNhY3Rpb25zLCBmdWxsWywgYygiYWNjb3VudF9pZCIsICJpc3N1ZWQiKV0sIGJ5PSJhY2NvdW50X2lkIikNCmBgYA0KDQpOdW4gc29sbGVuIFRyYW5zYWt0aW9uZW4gc28gZ2VmaWx0ZXJ0IHdlcmRlbiwgZGFzcyBudXIgbm9jaCBUcmFuc2FrdGlvbmVuIHp3aXNjaGVuIDEzIE1vbmF0ZW4gdW5kIDEgTW9uYXQgdm9yIGRlbSBJc3N1ZWQgRGF0dW0gdm9ya29tbWVuLg0KDQpgYGB7cn0NCmZpbHRlcmVkX2RmIDwtIGJ1eWVyX3RyYW5zYWN0aW9ucyAlPiUNCiAgZmlsdGVyKGRhdGUgPj0gYXMuRGF0ZShwYXN0ZTAoZm9ybWF0KGlzc3VlZCAtIG1vbnRocygxMyksICIlWS0lbSIpLCAiLTAxIikpICYNCiAgICAgICAgIGRhdGUgPD0gYXMuRGF0ZShwYXN0ZTAoZm9ybWF0KGlzc3VlZCAtIG1vbnRocygxKSwgIiVZLSVtIiksICItMDEiKSkgLSAxKQ0KYGBgDQoNCkF1ZiBkaWVzZW4gRGF0ZW4gd2lyZCBlaW5lIEdydXBwaWVydW5nIGFuaGFuZCBkZXIgYWNjb3VudF9pZCB1bmQgZGVzIE1vbmF0cyBnZW1hY2h0IHdlcmRlbi4gRGllIFdlcnRlIGluIGRpZmZlcmVuY2UgdW5kIGJhbGFuY2Ugd2VyZGVuIHp1IHZlcnNjaGllZGVuZW4gTWV0cmlrZW4genVzYW1tZW5nZWZhc3N0Og0KQXVmIGJlaWRlbiBXZXJ0ZW4gZXJmYXNzZW4gd2lyIGRhcyBNaW5pbXVtLCBkYXMgTWF4aW11bSwgZGVuIER1cmNoc2Nobml0dCwgZGVuIE1lZGlhbiB1bmQgZGllIFN0YW5kYXJkYWJ3ZWljaHVuZy4gQmVpIGRlciBiYWxhbmNlIGVyZmFzc2VuIHdpciBkaWUgZXJzdGUgdW5kIGRpZSBsZXR6dGUgQmFsYW5jZSBkZXMgTW9uYXRzIHVuZCBiZWkgZGlmZmVyZW5jZSBkaWUgQW56YWhsIHBvc2l0aXZlIHVuZCBuZWdhdGl2ZSBkaWZmZXJlbmNlcy4NCg0KYGBge3J9DQpzdW1tYXJ5X2RmIDwtIGZpbHRlcmVkX2RmICU+JQ0KICBncm91cF9ieShhY2NvdW50X2lkLCBtb250aCA9IGZvcm1hdChkYXRlLCAiJVktJW0iKSkgJT4lDQogIHN1bW1hcmlzZSgNCiAgICBtYXhfZGlmZmVyZW5jZSA9IG1heChkaWZmZXJlbmNlKSwNCiAgICBtaW5fZGlmZmVyZW5jZSA9IG1pbihkaWZmZXJlbmNlKSwNCiAgICBtYXhfYmFsYW5jZSA9IG1heChiYWxhbmNlKSwNCiAgICBtaW5fYmFsYW5jZSA9IG1pbihiYWxhbmNlKSwNCiAgICBpbml0aWFsX2JhbGFuY2UgPSBmaXJzdChiYWxhbmNlKSwNCiAgICBlbmRfYmFsYW5jZSA9IGxhc3QoYmFsYW5jZSksDQogICAgbWVhbl9iYWxhbmNlID0gbWVhbihiYWxhbmNlKSwNCiAgICBtZWRpYW5fYmFsYW5jZSA9IG1lZGlhbihiYWxhbmNlKSwNCiAgICBzdGRfYmFsYW5jZSA9IHNkKGJhbGFuY2UpLA0KICAgIG1lYW5fZGlmZmVyZW5jZSA9IG1lYW4oZGlmZmVyZW5jZSksDQogICAgbWVkaWFuX2RpZmZlcmVuY2UgPSBtZWRpYW4oZGlmZmVyZW5jZSksDQogICAgc3RkX2RpZmZlcmVuY2UgPSBzZChkaWZmZXJlbmNlKSwNCiAgICBjb3VudF9wb3NpdGl2ZV9kaWZmZXJlbmNlID0gc3VtKGRpZmZlcmVuY2UgPiAwKSwNCiAgICBjb3VudF9uZWdhdGl2ZV9kaWZmZXJlbmNlID0gc3VtKGRpZmZlcmVuY2UgPCAwKQ0KICApDQpzdW1tYXJ5X2RmIDwtIHN1bW1hcnlfZGYgJT4lDQogIGFycmFuZ2UoYWNjb3VudF9pZCkNCnN1bW1hcnlfZGYNCmBgYA0KDQpKZXR6dCBoYWJlbiB3aXIgZsO8ciBqZWRlIGFjY291bnRfaWQgZWluZSDDnGJlcnNpY2h0IMO8YmVyIGRpZSAxMiBNb25hdGUgdm9yIGRlbSBLYXJ0ZW5lcmhhbHQuIERhIGVzIGFiZXIgc2VpbiBrw7ZubnRlLCBkYXNzIGVzIEt1bmRlbiBnaWJ0LCB3ZWxjaGUgbmljaHQgamVkZW4gTW9uYXQgZWluZSBUcmFuc2FrdGlvbiBoYXR0ZW4gb2RlciBkaWUgS3JlZGl0a2FydGUgYmVyZWl0cyBpbSBlcnN0ZW4gSmFociBlcmhhbHRlbiBoYWJlbiwga29udHJvbGxpZXJlbiB3aXIgZGllcyBub2NoLg0KDQpgYGB7cn0NCiMgS29udHJvbGxlLCBvYiBmw7xyIGplZGVuIGFjY291bnRfaWQgMTIgbW9uYXRlIHZvcmhhbmRlbiBzaW5kDQptb250aF9jb3VudHMgPC0gc3VtbWFyeV9kZiAlPiUNCiAgZ3JvdXBfYnkoYWNjb3VudF9pZCkgJT4lDQogIHN1bW1hcmlzZShtb250aF9jb3VudCA9IG5fZGlzdGluY3QobW9udGgpKQ0KDQojIFByw7xmZSwgb2IgamVkZXMgYWNjb3VudF9pZCAxMiBNb25hdGUgaGF0DQptb250aF9jb3VudHMgPC0gbW9udGhfY291bnRzICU+JSBmaWx0ZXIobW9udGhfY291bnQgIT0gMTIpDQptb250aF9jb3VudHMNCg0KYGBgDQoxNjIgS3VuZGVuIGhhYmVuIGFsc28ga2VpbmUgMTIga29udGludWllcmxpY2hlbiBNb25hdGUgbWl0IFRyYW5zYWt0aW9uZW4sIGJldm9yIHNpZSBlaW5lIEthcnRlIGJla29tbWVuLiBXaXIgZmlsdGVybiBkaWVzZSBLdW5kZW4gcmF1cy4NCg0KYGBge3J9DQpzdW1tYXJ5X2RmIDwtIHN1YnNldChzdW1tYXJ5X2RmLCAhYWNjb3VudF9pZCAlaW4lIG1vbnRoX2NvdW50cyRhY2NvdW50X2lkKQ0KYGBgDQoNCkFscyBuw6RjaHN0ZXMgbnVtbWVyaWVyZW4gd2lyIGRpZSBNb25hdGUgcHJvIGFjY291bnRfaWQgdm9uIDEgYmlzIDEyIGR1cmNoLCB1bSBkYW5hY2ggd2VpdGVyIGRhbWl0IGFyYmVpdGVuIHp1IGvDtm5uZW4uDQoNCmBgYHtyfQ0KIyBTb3J0aWVyZW4gbmFjaCBhY2NvdW50X2lkIHVuZCBNb25hdA0Kc3VtbWFyeV9kZiA8LSBzdW1tYXJ5X2RmW29yZGVyKHN1bW1hcnlfZGYkYWNjb3VudF9pZCwgcmV2KHN1bW1hcnlfZGYkbW9udGgpKSxdDQoNCiMgSGluenVmw7xnZW4gZGVyIE1vbmF0c251bW1lcg0Kc3VtbWFyeV9kZiRncm91cF9pZCA8LSBhdmUoc2VxX2Fsb25nKHN1bW1hcnlfZGYkYWNjb3VudF9pZCksIHN1bW1hcnlfZGYkYWNjb3VudF9pZCwgRlVOID0gZnVuY3Rpb24oeCkge3h9KQ0Kc3VtbWFyeV9kZiRtb250aF9udW1iZXIgPC0gMTINCg0KZm9yIChpIGluIDI6bnJvdyhzdW1tYXJ5X2RmKSkgew0KICBpZiAoc3VtbWFyeV9kZiRhY2NvdW50X2lkW2ldICE9IHN1bW1hcnlfZGYkYWNjb3VudF9pZFtpLTFdKSB7DQogICAgc3VtbWFyeV9kZiRtb250aF9udW1iZXJbaV0gPC0gMTINCiAgfSBlbHNlIHsNCiAgICBzdW1tYXJ5X2RmJG1vbnRoX251bWJlcltpXSA8LSBzdW1tYXJ5X2RmJG1vbnRoX251bWJlcltpLTFdIC0gMQ0KICB9DQp9DQoNCiMgRW50ZmVybmUgZGllIFNwYWx0ZSBncm91cF9pZA0Kc3VtbWFyeV9kZiRncm91cF9pZCA8LSBOVUxMDQpzdW1tYXJ5X2RmJG1vbnRoIDwtIE5VTEwNCmBgYA0KDQpOdW4gbcO2Y2h0ZW4gd2lyIGFsbGUgSW5mb3JtYXRpb25lbiBwcm8gYWNjb3VudF9pZCBhdWYgZWluZXIgWmVpbGUgaGFiZW4uIERhZsO8ciBicmF1Y2hlbiB3aXIgcGl2b3Rfd2lkZXIuIFNvIGhhYmVuIHdpciBqZWRlIEtlbm56YWhsIHp3w7ZsZiBtYWwgYWxzIEtvbG9ubmUsIGplZGVzIE1hbCBtaXQgZGVyIHZvcmhlciBlcnN0ZWxsdGVuIE1vbmF0c251bW1lciBhbHMgU3VmZml4Lg0KDQpgYGB7cn0NCnN1bW1hcnlfZGZfYnV5ZXJzIDwtIHN1bW1hcnlfZGYgJT4lDQogIGdyb3VwX2J5KGFjY291bnRfaWQpICU+JQ0KICBwaXZvdF93aWRlcihuYW1lc19mcm9tID0gbW9udGhfbnVtYmVyLA0KICAgICAgICAgICAgICB2YWx1ZXNfZnJvbSA9IGMobWF4X2RpZmZlcmVuY2UsIG1pbl9kaWZmZXJlbmNlLCBtYXhfYmFsYW5jZSwgbWluX2JhbGFuY2UsIGluaXRpYWxfYmFsYW5jZSwgZW5kX2JhbGFuY2UsIG1lYW5fYmFsYW5jZSwgbWVkaWFuX2JhbGFuY2UsIHN0ZF9iYWxhbmNlLCBtZWRpYW5fYmFsYW5jZSwgc3RkX2JhbGFuY2UsIG1lYW5fZGlmZmVyZW5jZSwgbWVkaWFuX2RpZmZlcmVuY2UsIHN0ZF9kaWZmZXJlbmNlLCBjb3VudF9wb3NpdGl2ZV9kaWZmZXJlbmNlLCBjb3VudF9uZWdhdGl2ZV9kaWZmZXJlbmNlKSkNCg0Kc3VtbWFyeV9kZl9idXllcnMgPC0gbWVyZ2Uoc3VtbWFyeV9kZl9idXllcnMsIGNhcmRfYnV5ZXJzLCBieSA9ICJhY2NvdW50X2lkIikNCmBgYA0KDQpgYGB7cn0NCnN1bW1hcnlfZGZfYnV5ZXJzDQpgYGANCg0KDQojIyBGaW5kZW4gdm9uIMOkaG5saWNoZW4gTnV0emVybg0KDQpadSBqZWRlbSBLYXJ0ZW5rw6R1ZmVyIHNvbGwgbnVuIGVpbiDDpGhubGljaGVyIE5pY2h0a8OkdWZlciBnZWZ1bmRlbiB3ZXJkZW4NCg0KYGBge3J9DQojIEVyc3RlbGxlIGVpbiBsZWVyZXMgRGF0YUZyYW1lICJzaW1pbGFyX25vbl9idXllcnMiDQpzaW1pbGFyX25vbl9idXllcnMgPC0gZGF0YS5mcmFtZSgpDQoNCiMgSXRlcmllcmUgw7xiZXIgamVkZW4gS3VuZGVuIGltIERhdGFGcmFtZSAiYnV5ZXJzIg0KZm9yIChpIGluIDE6bnJvdyhjYXJkX2J1eWVycykpIHsNCiAgIyBXw6RobGUgZGVuIGFrdHVlbGxlbiBLdW5kZW4gYXVzIGRlbSBEYXRhRnJhbWUgImJ1eWVycyINCiAgY3VycmVudF9idXllciA8LSBjYXJkX2J1eWVyc1tpLCBdDQogIA0KICAjIFfDpGhsZSBkaWUgS3VuZGVuIGF1cyBkZW0gRGF0YUZyYW1lICJub25fYnV5ZXJzIiBhdXMsIGRpZSBkYXMgZ2xlaWNoZSBHZXNjaGxlY2h0IGhhYmVuIHVuZCBtw7ZnbGljaHN0IGdsZWljaCBhbHQgc2luZCB1bmQgbcO2Z2xpY2hzdCBpbiBkZXIgZ2xlaWNoZW4gUmVnaW9uIHdvaG5lbg0KICBzaW1pbGFyX25vbl9idXllcnNfdGVtcCA8LSBub25fYnV5ZXJzICU+JQ0KICAgIGZpbHRlcihnZW5kZXIgPT0gY3VycmVudF9idXllciRnZW5kZXIsDQogICAgICAgICAgIGFicyhhZ2UgLSBjdXJyZW50X2J1eWVyJGFnZSkgPD0gNSwNCiAgICAgICAgICAgcmVnaW9uID09IGN1cnJlbnRfYnV5ZXIkcmVnaW9uKQ0KICANCiAgIyBXw6RobGUgZGVuIGFtIGJlc3RlbiBwYXNzZW5kZW4gS3VuZGVuIGF1cyAic2ltaWxhcl9ub25fYnV5ZXJzX3RlbXAiIGF1cw0KICBiZXN0X21hdGNoX2luZGV4IDwtIHdoaWNoLm1pbihhYnMoc2ltaWxhcl9ub25fYnV5ZXJzX3RlbXAkYWdlIC0gY3VycmVudF9idXllciRhZ2UpKQ0KICBiZXN0X21hdGNoIDwtIHNpbWlsYXJfbm9uX2J1eWVyc190ZW1wW2Jlc3RfbWF0Y2hfaW5kZXgsIF0NCiAgYmVzdF9tYXRjaCRpc3N1ZWQgPC0gY3VycmVudF9idXllciRpc3N1ZWQNCiAgDQogICMgZGFtaXQgbmljaHQgZGVyIGdsZWljaGUgbm9uX2J1eWVyIGRvcHBlbHQgdmVyd2VuZGV0IHdpcmQNCiAgbm9uX2J1eWVycyA8LSBub25fYnV5ZXJzICU+JSBmaWx0ZXIoY2xpZW50X2lkICE9IGJlc3RfbWF0Y2gkY2xpZW50X2lkKQ0KICANCiAgDQogIHNpbWlsYXJfbm9uX2J1eWVycyA8LSByYmluZChzaW1pbGFyX25vbl9idXllcnMsIGJlc3RfbWF0Y2gpDQogIA0KfQ0KYGBgDQoNCg0KIyMgWnVzYW1tZW5mYXNzZW4gZGVyIFRyYW5zYWt0aW9uZW4gZsO8ciBub24gYnV5ZXJzDQoNCkF1Y2ggaGllciBzb2xsZW4gZGllIFRyYW5zYWt0aW9uZW4gZ2xlaWNoIHdpZSBiZWkgZGVuIEvDpHVmZXJuIHp1c2FtbWVuZ2VmYXNzdCB3ZXJkZW4uDQoNCmBgYHtyfQ0KYWNjb3VudF9pZHMgPC0gc2ltaWxhcl9ub25fYnV5ZXJzJGFjY291bnRfaWQNCm5vbl9idXllcl90cmFuc2FjdGlvbnMgPC0gdHJhbnNhY3Rpb25zW3RyYW5zYWN0aW9ucyRhY2NvdW50X2lkICVpbiUgYWNjb3VudF9pZHMsXQ0KDQpub25fYnV5ZXJfdHJhbnNhY3Rpb25zIDwtIG1lcmdlKG5vbl9idXllcl90cmFuc2FjdGlvbnMsIHNpbWlsYXJfbm9uX2J1eWVyc1ssIGMoImFjY291bnRfaWQiLCAiaXNzdWVkIildLCBieT0iYWNjb3VudF9pZCIpDQoNCmBgYA0KYGBge3J9DQpmaWx0ZXJlZF9kZiA8LSBub25fYnV5ZXJfdHJhbnNhY3Rpb25zICU+JQ0KICBmaWx0ZXIoZGF0ZSA+PSBhcy5EYXRlKHBhc3RlMChmb3JtYXQoaXNzdWVkIC0gbW9udGhzKDEzKSwgIiVZLSVtIiksICItMDEiKSkgJg0KICAgICAgICAgZGF0ZSA8PSBhcy5EYXRlKHBhc3RlMChmb3JtYXQoaXNzdWVkIC0gbW9udGhzKDEpLCAiJVktJW0iKSwgIi0wMSIpKSAtIDEpDQpgYGANCmBgYHtyfQ0Kc3VtbWFyeV9kZiA8LSBmaWx0ZXJlZF9kZiAlPiUNCiAgZ3JvdXBfYnkoYWNjb3VudF9pZCwgbW9udGggPSBmb3JtYXQoZGF0ZSwgIiVZLSVtIikpICU+JQ0KICBzdW1tYXJpc2UoDQogICAgbWF4X2RpZmZlcmVuY2UgPSBtYXgoZGlmZmVyZW5jZSksDQogICAgbWluX2RpZmZlcmVuY2UgPSBtaW4oZGlmZmVyZW5jZSksDQogICAgbWF4X2JhbGFuY2UgPSBtYXgoYmFsYW5jZSksDQogICAgbWluX2JhbGFuY2UgPSBtaW4oYmFsYW5jZSksDQogICAgaW5pdGlhbF9iYWxhbmNlID0gZmlyc3QoYmFsYW5jZSksDQogICAgZW5kX2JhbGFuY2UgPSBsYXN0KGJhbGFuY2UpLA0KICAgIG1lYW5fYmFsYW5jZSA9IG1lYW4oYmFsYW5jZSksDQogICAgbWVkaWFuX2JhbGFuY2UgPSBtZWRpYW4oYmFsYW5jZSksDQogICAgc3RkX2JhbGFuY2UgPSBzZChiYWxhbmNlKSwNCiAgICBtZWFuX2RpZmZlcmVuY2UgPSBtZWFuKGRpZmZlcmVuY2UpLA0KICAgIG1lZGlhbl9kaWZmZXJlbmNlID0gbWVkaWFuKGRpZmZlcmVuY2UpLA0KICAgIHN0ZF9kaWZmZXJlbmNlID0gc2QoZGlmZmVyZW5jZSksDQogICAgY291bnRfcG9zaXRpdmVfZGlmZmVyZW5jZSA9IHN1bShkaWZmZXJlbmNlID4gMCksDQogICAgY291bnRfbmVnYXRpdmVfZGlmZmVyZW5jZSA9IHN1bShkaWZmZXJlbmNlIDwgMCkNCiAgKQ0Kc3VtbWFyeV9kZiA8LSBzdW1tYXJ5X2RmICU+JQ0KICBhcnJhbmdlKGFjY291bnRfaWQpDQpgYGANCg0KYGBge3J9DQojIEtvbnRyb2xsZSwgb2IgZsO8ciBqZWRlbiBhY2NvdW50X2lkIDEyIG1vbmF0ZSB2b3JoYW5kZW4gc2luZA0KbW9udGhfY291bnRzIDwtIHN1bW1hcnlfZGYgJT4lDQogIGdyb3VwX2J5KGFjY291bnRfaWQpICU+JQ0KICBzdW1tYXJpc2UobW9udGhfY291bnQgPSBuX2Rpc3RpbmN0KG1vbnRoKSkNCg0KIyBQcsO8ZmUsIG9iIGplZGVzIGFjY291bnRfaWQgMTIgTW9uYXRlIGhhdA0KbW9udGhfY291bnRzIDwtIG1vbnRoX2NvdW50cyAlPiUgZmlsdGVyKG1vbnRoX2NvdW50ICE9IDEyKQ0KbW9udGhfY291bnRzDQoNCmBgYA0KQXVjaCBoaWVyIGhhYmVuIHdpZWRlciBlaW5pZ2UgS3VuZGVuIHdlbmlnZXIgYWxzIDEyIGtvbnRpbnVpZXJsaWNoZSBNb25hdGUuDQoNCmBgYHtyfQ0Kc3VtbWFyeV9kZiA8LSBzdWJzZXQoc3VtbWFyeV9kZiwgIWFjY291bnRfaWQgJWluJSBtb250aF9jb3VudHMkYWNjb3VudF9pZCkNCmBgYA0KDQoNCmBgYHtyfQ0Kc3VtbWFyeV9kZiA8LSBzdW1tYXJ5X2RmW29yZGVyKHN1bW1hcnlfZGYkYWNjb3VudF9pZCwgcmV2KHN1bW1hcnlfZGYkbW9udGgpKSxdDQpzdW1tYXJ5X2RmJGdyb3VwX2lkIDwtIGF2ZShzZXFfYWxvbmcoc3VtbWFyeV9kZiRhY2NvdW50X2lkKSwgc3VtbWFyeV9kZiRhY2NvdW50X2lkLCBGVU4gPSBmdW5jdGlvbih4KSB7eH0pDQoNCnN1bW1hcnlfZGYkbW9udGhfbnVtYmVyIDwtIDEyDQoNCmZvciAoaSBpbiAyOm5yb3coc3VtbWFyeV9kZikpIHsNCiAgaWYgKHN1bW1hcnlfZGYkYWNjb3VudF9pZFtpXSAhPSBzdW1tYXJ5X2RmJGFjY291bnRfaWRbaS0xXSkgew0KICAgIHN1bW1hcnlfZGYkbW9udGhfbnVtYmVyW2ldIDwtIDEyDQogIH0gZWxzZSB7DQogICAgc3VtbWFyeV9kZiRtb250aF9udW1iZXJbaV0gPC0gc3VtbWFyeV9kZiRtb250aF9udW1iZXJbaS0xXSAtIDENCiAgfQ0KfQ0KDQojIEVudGZlcm5lIGRpZSBTcGFsdGUgZ3JvdXBfaWQNCnN1bW1hcnlfZGYkZ3JvdXBfaWQgPC0gTlVMTA0Kc3VtbWFyeV9kZiRtb250aCA8LSBOVUxMDQpgYGANCg0KYGBge3J9DQpzdW1tYXJ5X2RmX25vbl9idXllcnMgPC0gc3VtbWFyeV9kZiAlPiUNCiAgZ3JvdXBfYnkoYWNjb3VudF9pZCkgJT4lDQogIHBpdm90X3dpZGVyKG5hbWVzX2Zyb20gPSBtb250aF9udW1iZXIsDQogICAgICAgICAgICAgIHZhbHVlc19mcm9tID0gYyhtYXhfZGlmZmVyZW5jZSwgbWluX2RpZmZlcmVuY2UsIG1heF9iYWxhbmNlLCBtaW5fYmFsYW5jZSwgaW5pdGlhbF9iYWxhbmNlLCBlbmRfYmFsYW5jZSwgbWVhbl9iYWxhbmNlLCBtZWRpYW5fYmFsYW5jZSwgc3RkX2JhbGFuY2UsIG1lZGlhbl9iYWxhbmNlLCBzdGRfYmFsYW5jZSwgbWVhbl9kaWZmZXJlbmNlLCBtZWRpYW5fZGlmZmVyZW5jZSwgc3RkX2RpZmZlcmVuY2UsIGNvdW50X3Bvc2l0aXZlX2RpZmZlcmVuY2UsIGNvdW50X25lZ2F0aXZlX2RpZmZlcmVuY2UpKQ0KYGBgDQoNCkRpZSBUcmFuc2FrdGlvbnNkYXRlbiB3ZXJkZW4gbWl0IGRlbiBhbmRlcmVuIERhdGVuIHp1c2FtbWVuZ2Vmw7xndCwgdW0gcHJvIEt1bmRlIGVpbmUgWmVpbGUgaW4gZWluZW0gRGF0YWZyYW1lIHp1IGhhYmVuLg0KDQpgYGB7cn0NCg0Kc3VtbWFyeV9kZl9ub25fYnV5ZXJzIDwtIG1lcmdlKHN1bW1hcnlfZGZfbm9uX2J1eWVycywgc2ltaWxhcl9ub25fYnV5ZXJzLCBieSA9ICJhY2NvdW50X2lkIikNCmBgYA0KDQpgYGB7cn0NCm1lcmdlKHN1bW1hcnlfZGZfbm9uX2J1eWVycywgbm9uX2J1eWVycywgYnkgPSAiYWNjb3VudF9pZCIpDQpgYGANCg0KDQpgYGB7cn0NCmZpbmFsX2RmIDwtIHJiaW5kKHN1bW1hcnlfZGZfYnV5ZXJzLCBzdW1tYXJ5X2RmX25vbl9idXllcnMpDQpgYGANCg0KSmV0enQgbXVzcyBub2NoIGRhc3MgaXNzdWVkLURhdHVtIHNvd2llIHdlaXRlcmUgVmFyaWFiZWxuIGVudGZlcm50IHdlcmRlbi4NCg0KYGBge3J9DQojIEVudGZlcm5lIHdlaXRlcmUgdW5uw7Z0aWdlIFZhcmlhYmVsbiB3aWUgSUQncyBvZGVyIFdlcnRlLCB3ZWxjaGUgw7xiZXJhbGwgZ2xlaWNoIHNpbmQNCmZpbmFsX2RmIDwtIGZpbmFsX2RmICU+JSBzZWxlY3QoLWNsaWVudF9pZCwgLWRpc3RyaWN0X2lkLCAtZGlzdHJpY3RfaWQuYWNjb3VudHMsIC1kaXNwX2lkLCAtdHlwZSwgLWxvYW5faWQsIC1hY2NvdW50X2lkLCAtaXNzdWVkKQ0KYGBgDQoNCkF1c3NlcmRlbSBzY2hlaW5lbiBlaW5pZ2UgVmFyaWFiZWxuIGFscyBGYWt0b3JlbiBpbSBEYXRlbnNhdHogenUgc2Vpbiwgd2VsY2hlIGVpZ2VudGxpY2ggbnVtZXJpc2NoIHfDpHJlbi4NCg0KYGBge3J9DQpmaW5hbF9kZiR1bmVtcGxveW1lbnRfcmF0ZV85NSA8LSBhcy5udW1lcmljKGZpbmFsX2RmJHVuZW1wbG95bWVudF9yYXRlXzk1KQ0KZmluYWxfZGYkdW5lbXBsb3ltZW50X3JhdGVfOTUuYWNjb3VudHMgPC0gYXMubnVtZXJpYyhmaW5hbF9kZiR1bmVtcGxveW1lbnRfcmF0ZV85NS5hY2NvdW50cykNCmZpbmFsX2RmJGNyaW1lc185NSA8LSBhcy5udW1lcmljKGZpbmFsX2RmJGNyaW1lc185NSkNCmZpbmFsX2RmJGNyaW1lc185NS5hY2NvdW50cyA8LSBhcy5udW1lcmljKGZpbmFsX2RmJGNyaW1lc185NS5hY2NvdW50cykNCmBgYA0KDQoNCiMgTW9kZWxsZQ0KDQpBbHMgbsOkY2hzdGVzIHNvbGxlbiBNb2RlbGxlIHRyYWluaWVydCB1bmQgZXZhbHVpZXJ0IHdlcmRlbi4gVW0gZGllIFJlc3VsdGF0ZSB6dSByZXByb2R1emllcmVuLCB3aXJkIGhpZXIgZWluIGluaXRpYWxpZXIgc2VlZCBnZXNldHp0Lg0KDQpgYGB7cn0NCnNldC5zZWVkKDI3KQ0KYGBgDQoNCg0KDQoNCiMjIEZ1bmt0aW9uZW4genVyIEV2YWx1aWVydW5nIHZvbiBNb2RlbGxlbg0KDQojIyMgVHJhaW4tVGVzdC1TcGxpdA0KDQpBbHMgVm9yYmVyZWl0dW5nIGbDvHIgZGllIE1vZGVsbGUgbcO8c3NlbiB3aXIgdW5zZXJlIERhdGVuIHp1IFRyYWluaW5ncy0gdW5kIFRlc3RkYXRlbiB1bnRlcnRlaWxlbi4gRGFmw7xyIGVyc3RlbGxlbiB3aXIgZWluZSBGdW5rdGlvbiwgd2VsY2hlIGF1ZiB2ZXJzY2hpZWRlbmVuIFZhcmlhbnRlbiBkZXMgRGF0ZW5zYXR6IGdlYnJhdWNodCB3ZXJkZW4ga2Fubi4NCg0KYGBge3J9DQpzcGxpdF9kYXRhIDwtIGZ1bmN0aW9uKGRmLCB0ZXN0X3NpemUgPSAwLjIpIHsNCiAgc3BsaXQgPC0gY3JlYXRlRGF0YVBhcnRpdGlvbihkZiRoYXNfY2FyZCwgcCA9IDEgLSB0ZXN0X3NpemUsIGxpc3QgPSBGQUxTRSkNCiAgdHJhaW4gPC0gZGZbc3BsaXQsIF0NCiAgdGVzdCA8LSBkZlstc3BsaXQsIF0NCiAgDQogIHJldHVybihsaXN0KHRyYWluID0gdHJhaW4sIHRlc3QgPSB0ZXN0KSkNCn0NCmBgYA0KDQojIyMgTWV0cmlrZW4NCg0KRGFtaXQgd2lyIGRpZSB2ZXJzY2hpZWRlbmVuIE1vZGVsbGUgYmVzc2VyIGV2YWx1aWVyZW4ga8O2bm5lbiwgbcO8c3NlbiB3aXIgZGllIGdsZWljaGVuIEtlbm56YWhsZW4gdW5kIEF1c3dlcnR1bmdlbiBwcm8gTW9kZWxsIG1hY2hlbi4gWnUgZGllc2VtIFp3ZWNrIGRlZmluaWVyZW4gd2lyIGVpbmlnZSBGdW5rdGlvbmVuLCBkYW1pdCB3aXIgd2VuaWdlciByZWR1bmRhbnRlbiBDb2RlIGhhYmVuIHVuZCB1bnNlcmUgRXJnZWJuaXNzZSBpbiBlaW5lbSBlaW5oZWl0bGljaGUsIHZlcmdsZWljaGJhcmVuIEZvcm1hdCBkYWhlcmtvbW1lbi4gDQoNCkRhZsO8ciBlcnN0ZWxsZW4gd2lyIGVpbmUgRnVua3Rpb24sIGRpZSBkaWUgR2VuYXVpZ2tlaXQgKEFjY3VyYWN5KSwgQ29oZW4ncyBLYXBwYSwgTWF0dGhld3MgS29ycmVsYXRpb24sIFByw6R6aXNpb24gKFByZWNpc2lvbiksIEVyaW5uZXJ1bmcgKFJlY2FsbCkgdW5kIGRlbiBGMS1TY29yZSBmw7xyIGVpbmUgUmVpaGUgdm9uIFZvcmhlcnNhZ2VuIHVuZCBkZXJlbiBlbnRzcHJlY2hlbmRlbiB3YWhyZW4gV2VydGUgYmVyZWNobmV0Lg0KDQpXYXMgYmVkZXV0ZW4gZGllc2UgS2VubnphaGxlbiBnZW5hdT8NCg0KQWNjdXJhY3kgKEdlbmF1aWdrZWl0KTogRGllIEFjY3VyYWN5IGlzdCBkZXIgUHJvemVudHNhdHogZGVyIFZvcmhlcnNhZ2VuLCBkaWUgbWl0IGRlbiB0YXRzw6RjaGxpY2hlbiBXZXJ0ZW4gw7xiZXJlaW5zdGltbWVuLiBTaWUgd2lyZCBiZXJlY2huZXQgYWxzIEFuemFobCBkZXIga29ycmVrdGVuIFZvcmhlcnNhZ2VuIGdldGVpbHQgZHVyY2ggZGllIEdlc2FtdHphaGwgZGVyIFZvcmhlcnNhZ2VuLg0KDQpDb2hlbidzIEthcHBhIChDb2hlbidzIEthcHBhKTogQ29oZW4ncyBLYXBwYSBpc3QgZWluZSBNZXNzZ3LDtsOfZSBmw7xyIGRpZSBRdWFsaXTDpHQgdm9uIGJpbsOkcmVuIEtsYXNzaWZpa2F0aW9uZW4uIEVzIHdpcmQgdmVyd2VuZGV0LCB1bSBkaWUgw5xiZXJlaW5zdGltbXVuZyB6d2lzY2hlbiB6d2VpIEtsYXNzaWZpa2F0b3JlbiB6dSBtZXNzZW4sIGluZGVtIGVzIGRpZSDDnGJlcmVpbnN0aW1tdW5nIMO8YmVyIGRlciBlcndhcnRldGVuIMOcYmVyZWluc3RpbW11bmcgZHVyY2ggWnVmYWxsIGJlcmVjaG5ldC4gRWluIEthcHBhLVdlcnQgdm9uIDEgYmVkZXV0ZXQgcGVyZmVrdGUgw5xiZXJlaW5zdGltbXVuZywgZWluIFdlcnQgdm9uIDAgYmVkZXV0ZXQga2VpbmUgw5xiZXJlaW5zdGltbXVuZywgZGllIGJlc3NlciBpc3QgYWxzIFp1ZmFsbCwgdW5kIGVpbiBXZXJ0IHZvbiAtMSBiZWRldXRldCBrb21wbGV0dCBmYWxzY2hlIEtsYXNzaWZpa2F0aW9uZW4uDQoNCk1hdHRoZXdzIGNvcnJlbGF0aW9uIGNvZWZmaWNpZW50IChNYXR0aGV3cyBLb3JyZWxhdGlvbik6IERlciBNYXR0aGV3cyBLb3JyZWxhdGlvbiBDb2VmZmljaWVudCAoTUNDKSBpc3QgZWluZSBNZXNzZ3LDtsOfZSBmw7xyIGRpZSBRdWFsaXTDpHQgdm9uIGJpbsOkcmVuIEtsYXNzaWZpa2F0aW9uZW4uIEVyIHJlaWNodCB2b24gLTEgYmlzIDEsIHdvYmVpIGVpbiBXZXJ0IHZvbiAxIHBlcmZla3RlIEtsYXNzaWZpa2F0aW9uIGJlZGV1dGV0LCBlaW4gV2VydCB2b24gMCBlaW5lIEtsYXNzaWZpa2F0aW9uLCBkaWUgbmljaHQgYmVzc2VyIGFscyBadWZhbGwgaXN0LCB1bmQgZWluIFdlcnQgdm9uIC0xIGVpbmUga29tcGxldHQgZmFsc2NoZSBLbGFzc2lmaWthdGlvbiBiZWRldXRldC4NCg0KUHJlY2lzaW9uIChQcsOkemlzaW9uKTogRGllIFByw6R6aXNpb24gaXN0IGRlciBQcm96ZW50c2F0eiBkZXIgVm9yaGVyc2FnZW4sIGRpZSB0YXRzw6RjaGxpY2gga29ycmVrdCB3YXJlbiwgdW50ZXIgZGVyIEFubmFobWUsIGRhc3MgYWxsZSBWb3JoZXJzYWdlbiBrb3JyZWt0IHNpbmQuIFNpZSB3aXJkIGJlcmVjaG5ldCBhbHMgQW56YWhsIGRlciBrb3JyZWt0ZW4gVm9yaGVyc2FnZW4gZsO8ciBkaWUgcG9zaXRpdmUgS2xhc3NlIGdldGVpbHQgZHVyY2ggZGllIEdlc2FtdHphaGwgZGVyIFZvcmhlcnNhZ2VuIGbDvHIgZGllIHBvc2l0aXZlIEtsYXNzZS4NCg0KUmVjYWxsIChFcmlubmVydW5nKTogRGVyIFJlY2FsbCBpc3QgZGVyIFByb3plbnRzYXR6IGRlciB0YXRzw6RjaGxpY2ggcG9zaXRpdmVuIFdlcnRlLCBkaWUga29ycmVrdCB2b3JoZXJnZXNhZ3Qgd3VyZGVuLiBFciB3aXJkIGJlcmVjaG5ldCBhbHMgQW56YWhsIGRlciBrb3JyZWt0ZW4gVm9yaGVyc2FnZW4gZsO8ciBkaWUgcG9zaXRpdmUgS2xhc3NlIGdldGVpbHQgZHVyY2ggZGllIEdlc2FtdHphaGwgZGVyIHRhdHPDpGNobGljaCBwb3NpdGl2ZW4gV2VydGUuDQoNCkYxIHNjb3JlIChGMS1XZXJ0KTogRGVyIEYxLVdlcnQgaXN0IGVpbiBNYcOfIGbDvHIgZGllIFF1YWxpdMOkdCB2b24gYmluw6RyZW4gS2xhc3NpZmlrYXRpb25lbiwgZGFzIGRpZSBIYXJtb25pZXNjaGUgTWlzY2h1bmcgdm9uIFByw6R6aXNpb24gdW5kIFJlY2FsbCBkYXJzdGVsbHQuIEVzIHdpcmQgYmVyZWNobmV0IGFscyBkZXIgSGFybW9uaWVzY2hlIE1pdHRlbHdlcnQgdm9uIFByw6R6aXNpb24gdW5kIFJlY2FsbC4gRWluIGhvaGVyIEYxLVdlcnQgYmVkZXV0ZXQsIGRhc3Mgc293b2hsIFByw6R6aXNpb24gYWxzIGF1Y2ggUmVjYWxsIGhvY2ggc2luZC4NCg0KYGBge3J9DQpnZXRfbWV0cmljcyA8LSBmdW5jdGlvbihwcmVkaWN0aW9ucywgdHJ1ZV92YWx1ZXMpIHsNCiAgIyBDYWxjdWxhdGUgYWNjdXJhY3kNCiAgYWNjdXJhY3kgPC0gc3VtKHByZWRpY3Rpb25zID09IHRydWVfdmFsdWVzKSAvIGxlbmd0aChwcmVkaWN0aW9ucykNCiAgDQogICMgQ2FsY3VsYXRlIENvaGVuJ3Mga2FwcGENCiAgbiA8LSBsZW5ndGgocHJlZGljdGlvbnMpDQpvYnNlcnZlZF9hZ3JlZW1lbnQgPC0gc3VtKHByZWRpY3Rpb25zID09IHRydWVfdmFsdWVzKQ0KZXhwZWN0ZWRfYWdyZWVtZW50IDwtIHN1bShwcmVkaWN0aW9ucyA9PSB0cnVlX3ZhbHVlcykgLyBuDQprYXBwYSA8LSAob2JzZXJ2ZWRfYWdyZWVtZW50IC0gZXhwZWN0ZWRfYWdyZWVtZW50KSAvIChuIC0gZXhwZWN0ZWRfYWdyZWVtZW50KQ0KICANCiAgIyBDYWxjdWxhdGUgTWF0dGhld3MgY29ycmVsYXRpb24gY29lZmZpY2llbnQNCiAgY29uZnVzaW9uX21hdHJpeCA8LSB0YWJsZShwcmVkaWN0aW9ucywgdHJ1ZV92YWx1ZXMpDQogIHRwIDwtIGNvbmZ1c2lvbl9tYXRyaXhbMiwyXQ0KICB0biA8LSBjb25mdXNpb25fbWF0cml4WzEsMV0NCiAgZnAgPC0gY29uZnVzaW9uX21hdHJpeFsyLDFdDQogIGZuIDwtIGNvbmZ1c2lvbl9tYXRyaXhbMSwyXQ0KICBtYXR0aGV3cyA8LSAodHAgKiB0biAtIGZwICogZm4pIC8gc3FydCgodHAgKyBmcCkgKiAodHAgKyBmbikgKiAodG4gKyBmcCkgKiAodG4gKyBmbikpDQogIA0KICAjIENhbGN1bGF0ZSBwcmVjaXNpb24gYW5kIHJlY2FsbA0KICBwcmVjaXNpb24gPC0gY29uZnVzaW9uX21hdHJpeFsyLDJdIC8gc3VtKGNvbmZ1c2lvbl9tYXRyaXhbMixdKQ0KICByZWNhbGwgPC0gY29uZnVzaW9uX21hdHJpeFsyLDJdIC8gc3VtKGNvbmZ1c2lvbl9tYXRyaXhbLDJdKQ0KICANCiAgIyBDYWxjdWxhdGUgRjEgc2NvcmUNCiAgZjEgPC0gMiAqIChwcmVjaXNpb24gKiByZWNhbGwpIC8gKHByZWNpc2lvbiArIHJlY2FsbCkNCiAgDQogICMgQ3JlYXRlIGEgZGF0YSBmcmFtZSBvZiB0aGUgbWV0cmljcw0KICBtZXRyaWNzIDwtIGRhdGEuZnJhbWUoYWNjdXJhY3kgPSBhY2N1cmFjeSwga2FwcGEgPSBrYXBwYSwgbWF0dGhld3MgPSBtYXR0aGV3cywNCiAgICAgICAgICAgICAgICAgICAgICAgIHByZWNpc2lvbiA9IHByZWNpc2lvbiwgcmVjYWxsID0gcmVjYWxsLCBmMSA9IGYxKQ0KICANCiAgIyBSZXR1cm4gdGhlIGRhdGEgZnJhbWUNCiAgcmV0dXJuKG1ldHJpY3MpDQp9DQpgYGANCg0KIyMjIEtvbmZ1c2lvbnNtYXRyaXggbWl0IFBsb3QNCg0KRGllc2UgRnVua3Rpb24gZXJzdGVsbHQgZWluZSBLb25mdXNpb25zbWF0cml4IHVuZCBnaWJ0IHNpZSBhbHMgUGxvdCB6dXLDvGNrLiANCg0KRWluZSBLb25mdXNpb25zbWF0cml4IGlzdCBlaW4gd2ljaHRpZ2VzIFdlcmt6ZXVnIHp1ciBFdmFsdWF0aW9uIHZvbiBLbGFzc2lmaWthdGlvbnNtb2RlbGxlbi4gU2llIHplaWd0IGFuLCB3aWUgZ3V0IGRhcyBNb2RlbGwgaW4gZGVyIExhZ2UgaXN0LCBkaWUgdmVyc2NoaWVkZW5lbiBLbGFzc2VuIHJpY2h0aWcgenUgaWRlbnRpZml6aWVyZW4uIEluIGVpbmVyIEtvbmZ1c2lvbnNtYXRyaXggd2VyZGVuIGRpZSB0YXRzw6RjaGxpY2hlbiB1bmQgZGllIHZvbiBkZW0gTW9kZWxsIHZvcmhlcmdlc2FndGVuIEtsYXNzZW4gZ2VnZW7DvGJlcmdlc3RlbGx0LiBEaWUgTWF0cml4IGlzdCBpbiB2aWVyIFF1YWRyYW50ZW4gdW50ZXJ0ZWlsdDogdHJ1ZSBwb3NpdGl2ZXMgKFRQKSwgdHJ1ZSBuZWdhdGl2ZXMgKFROKSwgZmFsc2UgcG9zaXRpdmVzIChGUCkgdW5kIGZhbHNlIG5lZ2F0aXZlcyAoRk4pLiBUUCBzaW5kIGRpZSBGw6RsbGUsIGluIGRlbmVuIGRhcyBNb2RlbGwgZGllIEtsYXNzZSByaWNodGlnIHZvcmhlcmdlc2FndCBoYXQsIFROIHNpbmQgZGllIEbDpGxsZSwgaW4gZGVuZW4gZGFzIE1vZGVsbCBkaWUgS2xhc3NlIHJpY2h0aWcgdm9yaGVyZ2VzYWd0IGhhdCB1bmQgZGllc2UgS2xhc3NlIGF1Y2ggdGF0c8OkY2hsaWNoIHZvcmxpZWd0LCBGUCBzaW5kIGRpZSBGw6RsbGUsIGluIGRlbmVuIGRhcyBNb2RlbGwgZWluZSBLbGFzc2Ugdm9yaGVyZ2VzYWd0IGhhdCwgZGllIGluIFdpcmtsaWNoa2VpdCBuaWNodCB2b3JsaWVndCwgdW5kIEZOIHNpbmQgZGllIEbDpGxsZSwgaW4gZGVuZW4gZGFzIE1vZGVsbCBlaW5lIEtsYXNzZSBuaWNodCB2b3JoZXJnZXNhZ3QgaGF0LCBkaWUgaW4gV2lya2xpY2hrZWl0IHZvcmxpZWd0LiBFaW5lIEtvbmZ1c2lvbnNtYXRyaXggaXN0IGhpbGZyZWljaCwgdW0gZGllIEdlbmF1aWdrZWl0LCBTZW5zaXRpdml0w6R0IHVuZCBTcGV6aWZpdMOkdCBkZXMgTW9kZWxscyB6dSBiZXJlY2huZW4gdW5kIHVtIHp1IHNlaGVuLCBhbiB3ZWxjaGVuIFN0ZWxsZW4gZGFzIE1vZGVsbCBTY2h3w6RjaGVuIGhhdC4gU2llIGthbm4gYXVjaCB2ZXJ3ZW5kZXQgd2VyZGVuLCB1bSBkaWUgTGVpc3R1bmcgdm9uIHZlcnNjaGllZGVuZW4gTW9kZWxsZW4gbWl0ZWluYW5kZXIgenUgdmVyZ2xlaWNoZW4uDQoNCmBgYHtyfQ0KcGxvdF9jb25mdXNpb25fbWF0cml4IDwtIGZ1bmN0aW9uKHByZWRpY3Rpb25zLCB0cnVlX3ZhbHVlcykgew0KICAjIEVyc3RlbGxlIGVpbmUgQ29uZnVzaW9uIE1hdHJpeCBhbHMgRGF0YSBGcmFtZQ0KICBjb25mdXNpb25fbWF0cml4X2RmIDwtIGRhdGEuZnJhbWUocHJlZGljdGlvbnMsIHRydWVfdmFsdWVzKQ0KICANCiAgIyBaw6RobGUgZGllIEjDpHVmaWdrZWl0ZW4gamVkZXIgS29tYmluYXRpb24gdm9uIFZvcmhlcnNhZ2UtIHVuZCBUcnVlLVdlcnRlbg0KICBjb3VudHNfZGYgPC0gY291bnQoY29uZnVzaW9uX21hdHJpeF9kZiwgcHJlZGljdGlvbnMsIHRydWVfdmFsdWVzKQ0KICANCiAgIyBFcnN0ZWxsZSBlaW5lbiBnZ3Bsb3QtUGxvdA0KICBnZ3Bsb3QoZGF0YSA9IGNvdW50c19kZiwgYWVzKHggPSBwcmVkaWN0aW9ucywgeSA9IHRydWVfdmFsdWVzKSkgKw0KICAgIGdlb21fdGlsZShhZXMoZmlsbCA9IG4pKSArDQogICAgZ2VvbV90ZXh0KGFlcyhsYWJlbCA9IG4pKSArDQogICAgc2NhbGVfZmlsbF9ncmFkaWVudChsb3cgPSAid2hpdGUiLCBoaWdoID0gImRhcmtncmVlbiIpICsNCiAgICBsYWJzKHggPSAiUHJlZGljdGVkIENsYXNzIiwgeSA9ICJUcnVlIENsYXNzIiwgdGl0bGUgPSAiQ29uZnVzaW9uIE1hdHJpeCIpDQp9DQpgYGANCg0KIyMjIFJPQyAvIEFVQw0KDQpEaWVzZSBGdW5rdGlvbiB6ZWljaG5ldCBkaWUgUk9DLUt1cnZlIHVuZCBiZXJlY2huZXQgZGllIEFyZWEgdW5kIEN1cnZlLiANCg0KRGllIFJPQy1LdXJ2ZSAoUmVjZWl2ZXIgT3BlcmF0aW5nIENoYXJhY3RlcmlzdGljIGN1cnZlKSBpc3QgZWluIHdpY2h0aWdlcyBXZXJremV1ZyB6dXIgQmV3ZXJ0dW5nIHZvbiBLbGFzc2lmaWthdG9yZW4uIFNpZSB6ZWlndCBkaWUgTGVpc3R1bmcgZGVzIEtsYXNzaWZpa2F0b3JzIGJlaSB2ZXJzY2hpZWRlbmVuIFNjaHdlbGxlbndlcnRlbiBhbiwgZGllIHp1ciBVbnRlcnNjaGVpZHVuZyB6d2lzY2hlbiB6d2VpIEtsYXNzZW4gdmVyd2VuZGV0IHdlcmRlbi4gRGllIFJPQy1LdXJ2ZSBpc3QgYmVzb25kZXJzIG7DvHR6bGljaCwgd2VubiBkaWUgYmVpZGVuIEtsYXNzZW4gaW0gVmVyaMOkbHRuaXMgdW5hdXNnZWdsaWNoZW4gc2luZCwgd2llIGVzIG9mdCBkZXIgRmFsbCBpc3QsIHdlbm4gZXMgZGFydW0gZ2VodCwgc2VsdGVuZSBFcmVpZ25pc3NlIHdpZSBLcmFua2hlaXRlbiBvZGVyIEJldHJ1ZyB6dSBlcmtlbm5lbi4NCg0KRGllIFJPQy1LdXJ2ZSBpc3QgYXVmIGRlciB4LUFjaHNlIGRlciBmYWxzY2gtcG9zaXRpdi1SYXRlIChGUFIpIHVuZCBhdWYgZGVyIHktQWNoc2UgZGVyIHdhaHItcG9zaXRpdi1SYXRlIChUUFIpIGF1ZmdldHJhZ2VuLiBEZXIgRlBSIGdpYnQgYW4sIHdpZSB2aWVsZSBmYWxzY2ggcG9zaXRpdmUgRXJnZWJuaXNzZSBlcyBnaWJ0LCB3w6RocmVuZCBkZXIgVFBSIGFuZ2lidCwgd2llIHZpZWxlIHdhaHIgcG9zaXRpdmUgRXJnZWJuaXNzZSBlcnppZWx0IHdlcmRlbi4gRWluIHBlcmZla3RlciBLbGFzc2lmaWthdG9yIHfDvHJkZSBlaW5lIFJPQy1LdXJ2ZSBoYWJlbiwgZGllIGltIG9iZXJlbiBsaW5rZW4gQmVyZWljaCBiZWdpbm50IHVuZCBuYWNoIHJlY2h0cyBvYmVuIHZlcmzDpHVmdCwgd29iZWkgYWxsZSBGw6RsbGUga29ycmVrdCBrbGFzc2lmaXppZXJ0IHdlcmRlbi4gRWluIHp1ZsOkbGxpZ2VyIEtsYXNzaWZpa2F0b3Igd8O8cmRlIGVpbmUgZGlhZ29uYWwgdmVybGF1ZmVuZGUgUk9DLUt1cnZlIGhhYmVuLCBkYSBkaWUgRlBSIHVuZCBUUFIgenVmw6RsbGlnIHZlcnRlaWx0IHNpbmQuDQoNCkRpZSBBdUMgKEFyZWEgVW5kZXIgdGhlIEN1cnZlKSBpc3QgZWluZSBNZXRyaWssIGRpZSBhdXMgZGVyIFJPQy1LdXJ2ZSBiZXJlY2huZXQgd2lyZCB1bmQgZGllIExlaXN0dW5nIGRlcyBLbGFzc2lmaWthdG9ycyB6dXNhbW1lbmZhc3N0LiBTaWUgZ2lidCBhbiwgd2llIGd1dCBkZXIgS2xhc3NpZmlrYXRvciBpbSBWZXJnbGVpY2ggenUgZWluZW0genVmw6RsbGlnZW4gS2xhc3NpZmlrYXRvciBpc3QuIEVpbmUgQVVDIHZvbiAxIGJlZGV1dGV0LCBkYXNzIGRhcyBNb2RlbGwgcGVyZmVrdCBpbiBkZXIgTGFnZSBpc3QsIHBvc2l0aXZlIHVuZCBuZWdhdGl2ZSBLbGFzc2VuIHp1IHVudGVyc2NoZWlkZW4sIHfDpGhyZW5kIGVpbmUgQVVDIHZvbiAwLjUgYmVkZXV0ZXQsIGRhc3MgZGFzIE1vZGVsbCBrZWluZSBiZXNzZXJlIExlaXN0dW5nIGFscyBadWZhbGwgZXJ6aWVsdC4gRGllIEFVQyBrYW5uIFdlcnRlIHp3aXNjaGVuIDAgdW5kIDEgYW5uZWhtZW4uIEVpbmUgQVVDIHZvbiAwIGJlZGV1dGV0LCBkYXNzIGRhcyBNb2RlbGwgdsO2bGxpZyBpbmtvcnJla3QgaXN0LiBJbSBBbGxnZW1laW5lbiBnaWx0LCBqZSBncsO2w59lciBkaWUgQVVDLCBkZXN0byBiZXNzZXIgaXN0IGRhcyBNb2RlbGwgaW0gVmVyZ2xlaWNoIHp1IGFuZGVyZW4gTW9kZWxsZW4uDQoNCmBgYHtyfQ0KbWFrZV9yb2NfcGxvdF9hbmRfZ2V0X2F1YyA8LSBmdW5jdGlvbihwcmVkaWN0aW9ucywgdHJ1ZV92YWx1ZXMpew0KDQpyb2NfY3VydmUgPC0gcm9jKGFzLm51bWVyaWMocHJlZGljdGlvbnMpLCBhcy5udW1lcmljKHRydWVfdmFsdWVzKSAtIDEpDQoNCnBsb3Qocm9jX2N1cnZlLCB4bGFiID0gIkZhbHNlIFBvc2l0aXZlIFJhdGUiLCB5bGFiID0gIlRydWUgUG9zaXRpdmUgUmF0ZSIsIG1haW4gPSJST0MgQ3VydmUiKQ0KDQphdWMgPC0gYXVjKHJvY19jdXJ2ZSkNCg0KcmV0dXJuKGF1YykNCn0NCmBgYA0KDQoNCiMjIyBGZWF0dXJlIEltcG9ydGFuY2UNCg0KVW0gZGllIEZlYXR1cmUgSW1wb3J0YW5jZSBnZW5hdWVyIHp1IHVudGVyc3VjaGVuLCBkZWZpbmllcmVuIHdpciBlaW5lIEZ1bmt0aW9uLCB3ZWxjaGUgZsO8ciBlaW4gTW9kZWxsIGRpZSBGZWF0dXJlIEltcG9ydGFuY2UgYmVyZWNobmV0IHVuZCBkaWUgVG9wIDEwIEZlYXR1cmVzIGluIGVpbmVtIEJhcnBsb3QgYXVzZ2lidC5EaWUgRnVua3Rpb24gcGxvdF9mZWF0dXJlX2ltcG9ydGFuY2UoKSBuaW1tdCBhbHMgRWluZ2FiZXBhcmFtZXRlciBlaW4gbWFzY2hpbmVsbGVzIExlcm5tb2RlbGwgdW5kIHBsb3R0ZXQgZGllIEZlYXR1cmUtSW1wb3J0YW5jZSBkZXMgTW9kZWxscyBhbHMgQmFycGxvdC4gRGllIEZ1bmt0aW9uIHVudGVyc2NoZWlkZXQgZHJlaSBBcnRlbiB2b24gTW9kZWxsZW46IExvZ2lzdGlzY2hlIFJlZ3Jlc3Npb25lbiwgRW50c2NoZWlkdW5nc2LDpHVtZSB1bmQgUmFuZG9tIEZvcmVzdC4gRsO8ciBqZWRlIEFydCB2b24gTW9kZWxsIHdpcmQgZGllIEZlYXR1cmUtSW1wb3J0YW5jZSBhdWYgZWluZSBzcGV6aWZpc2NoZSBBcnQgdW5kIFdlaXNlIGJlcmVjaG5ldC4gQW5zY2hsaWXDn2VuZCB3ZXJkZW4gZGllIEZlYXR1cmUtSW1wb3J0YW5jZS1XZXJ0ZSB1bmQgZGllIE5hbWVuIGRlciBGZWF0dXJlcyBhYnN0ZWlnZW5kIHNvcnRpZXJ0LCB3b2JlaSBudXIgZGllIDEwIHdpY2h0aWdzdGVuIEZlYXR1cmVzIGJlcsO8Y2tzaWNodGlndCB3ZXJkZW4uIERlciBCYXJwbG90IHplaWd0IGRhbm4gZGllIEZlYXR1cmUtSW1wb3J0YW5jZS1XZXJ0ZSBmw7xyIGRpZSBlbnRzcHJlY2hlbmRlbiBGZWF0dXJlcyBhbi4gRGVyIFRpdGVsIGRlcyBQbG90cyBsYXV0ZXQgIkZlYXR1cmUgSW1wb3J0YW5jZSIgdW5kIGRpZSB5LUFjaHNlIGlzdCBtaXQgIkltcG9ydGFuY2UiIGJlc2NocmlmdGV0LiBEaWUgTmFtZW4gZGVyIEZlYXR1cmVzIHdlcmRlbiByb3RpZXJ0IGFuZ2V6ZWlndCwgdW0gUGxhdHogenUgc3BhcmVuLCB1bmQgZGllIEZhcmJlbiBkZXIgZWluemVsbmVuIEZlYXR1cmVzIHNpbmQgdW50ZXJzY2hpZWRsaWNoLg0KDQpgYGB7cn0NCnBsb3RfZmVhdHVyZV9pbXBvcnRhbmNlIDwtIGZ1bmN0aW9uKG1vZGVsKSB7DQogIA0KICAjIExvZ2lzdGlzY2hlIFJlZ3Jlc3Npb24NCiAgaWYgKGNsYXNzKG1vZGVsKVsxXSA9PSAiZ2xtIikgew0KICAgIGltcG9ydGFuY2UgPC0gYWJzKGNvZWYobW9kZWwpWy0xXSkNCiAgICBuYW1lcyA8LSBuYW1lcyhpbXBvcnRhbmNlKQ0KICB9IA0KICANCiAgIyBEZWNpc2lvbiBUcmVlDQogIGVsc2UgaWYgKGNsYXNzKG1vZGVsKVsxXSA9PSAicnBhcnQiKSB7DQogICAgaW1wb3J0YW5jZSA8LSBtb2RlbCRpbXBvcnRhbmNlDQogICAgbmFtZXMgPC0gcm93Lm5hbWVzKGltcG9ydGFuY2UpDQogIH0gDQogIA0KICAjIFJhbmRvbSBGb3Jlc3QNCiAgZWxzZSBpZiAoY2xhc3MobW9kZWwpWzFdID09ICJyYW5kb21Gb3Jlc3QiKSB7DQogICAgaW1wb3J0YW5jZSA8LSBtb2RlbCRpbXBvcnRhbmNlDQogICAgbmFtZXMgPC0gcm93Lm5hbWVzKGltcG9ydGFuY2UpDQogIH0gDQogIA0KICAjIFVucmVjb2duaXplZCBtb2RlbA0KICBlbHNlIHsNCiAgICBzdG9wKCJVbnJlY29nbml6ZWQgbW9kZWwiKQ0KICB9DQogIA0KICAjIFNvcnQgZmVhdHVyZSBpbXBvcnRhbmNlIGFuZCBuYW1lcyBpbiBkZWNyZWFzaW5nIG9yZGVyDQogIGltcG9ydGFuY2UgPC0gaGVhZChpbXBvcnRhbmNlW29yZGVyKGltcG9ydGFuY2UsIGRlY3JlYXNpbmcgPSBUUlVFKV0sIDEwKQ0KICBuYW1lcyA8LSBuYW1lc1tvcmRlcihpbXBvcnRhbmNlLCBkZWNyZWFzaW5nID0gVFJVRSldDQogIA0KICAjIFBsb3QgZmVhdHVyZSBpbXBvcnRhbmNlDQogIGJhcnBsb3QoaW1wb3J0YW5jZSwgbmFtZXMuYXJnID0gbmFtZXMsIGxhcyA9IDIsIGNleC5uYW1lcyA9IDAuNiwNCiAgICAgICAgICBtYWluID0gIkZlYXR1cmUgSW1wb3J0YW5jZSIsIHhsYWIgPSAiIiwgeWxhYiA9ICJJbXBvcnRhbmNlIikNCn0NCmBgYA0KDQoNCiMgQmFzZWxpbmUgTW9kZWxsDQoNCkFscyBlcnN0ZXMgc29sbCBlaW5lIGxvZ2lzdGlzY2hlIFJlZ3Jlc3Npb24gbWl0IGRlbiBJbmZvcm1hdGlvbmVuIEFsdGVyLCBHZXNjaGxlY2h0LCBEb21pemlscmVnaW9uLCBWZXJtw7ZnZW4gKGJhbGFuY2UtU2Nobml0dCDDvGJlciBhbGxlIE1vbmF0ZSkgdW5kIFVtc2F0eiAoZGlmZmVyZW5jZS1TY2huaXR0IMO8YmVyIGFsbGUgTW9uYXRlKSBhbHMgQmFzZWxpbmUgTW9kZWxsIGVyc3RlbGx0IHdlcmRlbi5EYWbDvHIgbcO8c3NlbiB3aXIga3VyeiBlaW4gbmV1ZXMgRGF0YWZyYW1lIGVyc3RlbGxlbi4NCg0KYGBge3J9DQpiYXNlbGluZV9kYXRhIDwtIGZpbmFsX2RmDQpiYXNlbGluZV9kYXRhJG1lYW5fYmFsYW5jZSA8LSByb3dNZWFucyhmaW5hbF9kZlssIGMoIm1lYW5fYmFsYW5jZV8xIiwgIm1lYW5fYmFsYW5jZV8yIiwgIm1lYW5fYmFsYW5jZV8zIiwgIm1lYW5fYmFsYW5jZV80IiwgDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAibWVhbl9iYWxhbmNlXzUiLCAibWVhbl9iYWxhbmNlXzYiLCAibWVhbl9iYWxhbmNlXzciLCAibWVhbl9iYWxhbmNlXzgiLCANCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICJtZWFuX2JhbGFuY2VfOSIsICJtZWFuX2JhbGFuY2VfMTAiLCAibWVhbl9iYWxhbmNlXzExIiwgIm1lYW5fYmFsYW5jZV8xMiIpXSkNCmJhc2VsaW5lX2RhdGEkbWVhbl9kaWZmZXJlbmNlIDwtIHJvd01lYW5zKGZpbmFsX2RmWywgYygibWVhbl9kaWZmZXJlbmNlXzEiLCAibWVhbl9kaWZmZXJlbmNlXzIiLCAibWVhbl9kaWZmZXJlbmNlXzMiLCAibWVhbl9kaWZmZXJlbmNlXzQiLCANCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIm1lYW5fZGlmZmVyZW5jZV81IiwgIm1lYW5fZGlmZmVyZW5jZV82IiwgIm1lYW5fZGlmZmVyZW5jZV83IiwgIm1lYW5fZGlmZmVyZW5jZV84IiwgDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICJtZWFuX2RpZmZlcmVuY2VfOSIsICJtZWFuX2RpZmZlcmVuY2VfMTAiLCAibWVhbl9kaWZmZXJlbmNlXzExIiwgIm1lYW5fZGlmZmVyZW5jZV8xMiIpXSkNCmJhc2VsaW5lX2RhdGEgPC0gYmFzZWxpbmVfZGF0YVssIGMoImFnZSIsICJnZW5kZXIiLCAicmVnaW9uIiwgImhhc19jYXJkIiwgIm1lYW5fYmFsYW5jZSIsICJtZWFuX2RpZmZlcmVuY2UiKV0NCmJhc2VsaW5lX2RhdGEkaGFzX2NhcmQgPC0gYXMuZmFjdG9yKGJhc2VsaW5lX2RhdGEkaGFzX2NhcmQpDQpgYGANCg0KRGFyYXVmIHdpcmQgZWluIFRyYWluLVRlc3QtU3BsaXQgbWl0IDgwJSBUcmFpbmluZ3NkYXRlbiB1bmQgMjAlIFRlc3RkYXRlbiBnZWJyYXVjaHQuDQogDQpgYGB7cn0NCnNwbGl0cyA8LSBzcGxpdF9kYXRhKGJhc2VsaW5lX2RhdGEsIHRlc3Rfc2l6ZSA9IDAuMikNCnRyYWluIDwtIHNwbGl0cyR0cmFpbg0KdGVzdCA8LSBzcGxpdHMkdGVzdA0KYGBgDQoNCkRhcyBSZWdyZXNzaW9uc21vZGVsbCB3aXJkIGF1ZiBkZW4gVHJhaW5pbmdzZGF0ZW4gdHJhaW5pZXJ0Lg0KDQpgYGB7cn0NCiMgRml0IHRoZSBtb2RlbCBvbiB0aGUgdHJhaW5pbmcgZGF0YQ0KbW9kZWwgPC0gZ2xtKGhhc19jYXJkIH4gLiwgZGF0YSA9IHRyYWluLCBmYW1pbHkgPSBiaW5vbWlhbCkNCmBgYA0KDQpBbHMgbsOkY2hzdGVzIHNvbGxlbiBkaWUgUHJlZGljdGlvbnMgZ2VtYWNodCB1bmQgZGFtaXQgZGllIE1ldHJpa2VuIGVyc3RlbGx0IHdlcmRlbi4gRGEgZGllIGxvZ2lzdGlzY2hlIFJlZ3Jlc3Npb24gZWluZSBaYWhsIHp3aXNjaGVuIDAgdW5kIDEgenVyw7xja2dpYnQsIG3DvHNzZW4gd2lyIGFuaGFuZCBlaW5lcyBUaHJlc2hvbGRzIGRpZSBXZXJ0ZSB6dSBUUlVFIHVuZCBGQUxTRSB1bXdhbmRlbG4uIERlciBUaHJlc2hvbGQgZ2lidCBhbiwgYWIgd2VsY2hlbSBXYWhyc2NoZWlubGljaGtlaXRzd2VydCBlaW5lIFZvcmhlcnNhZ2UgYWxzIHBvc2l0aXYgYmV0cmFjaHRldCB3aXJkLiBTdGFuZGFyZG3DpMOfaWcgaXN0IGRlciBUaHJlc2hvbGQgYXVmIDAuNSBnZXNldHp0LCB3YXMgYmVkZXV0ZXQsIGRhc3MgYWxsZSBXYWhyc2NoZWlubGljaGtlaXRlbiBncsO2w59lciBhbHMgMC41IGFscyBwb3NpdGl2IHVuZCBhbGxlIFdhaHJzY2hlaW5saWNoa2VpdGVuIGtsZWluZXIgYWxzIDAuNSBhbHMgbmVnYXRpdiBiZXRyYWNodGV0IHdlcmRlbi4NCg0KYGBge3J9DQojIE1ha2UgcHJlZGljdGlvbnMgb24gdGhlIHRlc3QgZGF0YQ0KcHJlZGljdGlvbnMgPC0gcHJlZGljdChtb2RlbCwgdGVzdCwgdHlwZSA9ICJyZXNwb25zZSIpDQoNCnRocmVzaG9sZCA8LSAwLjUNCnByZWRpY3Rpb25zX3RocmVzaG9sZCA8LSBpZmVsc2UocHJlZGljdGlvbnMgPiB0aHJlc2hvbGQsIFRSVUUsIEZBTFNFKQ0KDQoNCmdldF9tZXRyaWNzKHByZWRpY3Rpb25zX3RocmVzaG9sZCwgdGVzdCRoYXNfY2FyZCkNCmBgYA0KDQpgYGB7cn0NCnBsb3RfY29uZnVzaW9uX21hdHJpeChwcmVkaWN0aW9uc190aHJlc2hvbGQsIHRlc3QkaGFzX2NhcmQpDQpgYGANCg0KYGBge3J9DQptYWtlX3JvY19wbG90X2FuZF9nZXRfYXVjKHByZWRpY3Rpb25zX3RocmVzaG9sZCwgdGVzdCRoYXNfY2FyZCkNCmBgYA0KDQpgYGB7cn0NCnBsb3RfZmVhdHVyZV9pbXBvcnRhbmNlKG1vZGVsKQ0KYGBgDQoNCg0KIyMgVGhyZXNob2xkIA0KDQpEZXIgVGhyZXNob2xkLVdlcnQga8O2bm50ZSBhYmVyIGFuZ2VwYXNzdCB3ZXJkZW4uIEplIG5hY2ggVmVyw6RuZGVydW5nIHdlcmRlbiBkaWUgdmVyc2NoaWVkZW5lbiBNZXRyaWtlbiBiZXNzZXIgb2RlciBzY2hsZWNodGVyLiBEaWUgRnJhZ2UgZGFiZWkgaXN0LCBvYiB3aXIgZWhlciBtZWhyIGZhbHNjaGUgUG9zaXRpdnZvcmhlcnNhZ2VuIG9kZXIgTmVnYXRpdnZvcmhlcnNhZ2VuIHdvbGxlbi4gV2VubiB3aXIgZGVuIFRocmVzaG9sZCBzZW5rZW4sIHdpcmQgYnNwdy4gZGVyIFJlY2FsbCBow7ZoZXIuIFdlbm4gd2lyIGRlbiBUaHJlc2hvbGQgZXJow7ZoZW4sIHdpcmQgZGllIFByZWNpc2lvbiBow7ZoZXIuIEVzIGlzdCBhYmVyIG5pY2h0IHNpbm52b2xsLCBhbmhhbmQgZGVzIFRocmVzaG9sZHMgZGllc2UgYmVpZGVuIE1ldHJpa2VuIHp1IG1heGltaWVyZW4sIGRhIGVzIGJlaSBiZWlkZW4gZmFzdCBrZWluZSBQb3NpdGl2ZW4gYnp3LiBOZWdhdGl2ZSBQcmVkaWN0aW9ucyBtZWhyIGdpYnQuIA0KDQpEZXIgRjEgaXN0IGVpbmUgWnVzYW1tZW5mYXNzdW5nIGRlciBQcmVjaXNpb24gdW5kIGRlciBSZWNhbGwuIFdpciB1bnRlcnN1Y2hlbiwgbWl0IHdlbGNoZW0gVGhyZXNob2xkIGRlciBow7ZjaHN0ZSBGMS1TY29yZSBlcnppZWx0IHdlcmRlbiBrYW5uLg0KDQpgYGB7cn0NCmJlc3RfdGhyZXNob2xkIDwtIDANCmJlc3RfZjEgPC0gMA0KdGhyZXNob2xkcyA8LSBzZXEoMC4wMSwgMC45OSwgMC4wMSkNCmYxX3Njb3JlcyA8LSByZXAoMCwgbGVuZ3RoKHRocmVzaG9sZHMpKQ0KDQpmb3IgKGkgaW4gMTpsZW5ndGgodGhyZXNob2xkcykpIHsNCiAgIyBTZXQgdGhlIHRocmVzaG9sZCBmb3IgdGhlIHByZWRpY3Rpb25zDQogIHByZWRpY3Rpb25zX3RocmVzaG9sZCA8LSBpZmVsc2UocHJlZGljdGlvbnMgPiB0aHJlc2hvbGRzW2ldLCBUUlVFLCBGQUxTRSkNCiAgDQogIGlmIChhbGwocHJlZGljdGlvbnNfdGhyZXNob2xkKSkgew0KICBuZXh0DQp9IGVsc2UgaWYgKGFsbCghcHJlZGljdGlvbnNfdGhyZXNob2xkKSkgew0KICBuZXh0DQp9DQogIA0KICAjIENhbGN1bGF0ZSB0aGUgZjENCiAgZjEgPC0gZ2V0X21ldHJpY3MocHJlZGljdGlvbnNfdGhyZXNob2xkLCB0ZXN0JGhhc19jYXJkKSRmMQ0KICANCiAgZjFfc2NvcmVzW2ldIDwtIGYxDQogIA0KICAjIFVwZGF0ZSB0aGUgYmVzdCB0aHJlc2hvbGQgYW5kIGJlc3QgZjEgaWYgbmVjZXNzYXJ5DQogIGlmIChmMSA+IGJlc3RfZjEpIHsNCiAgICBiZXN0X3RocmVzaG9sZCA8LSB0aHJlc2hvbGRzW2ldDQogICAgYmVzdF9mMSA8LSBmMQ0KICB9DQp9DQoNCiMgRGlzcGxheSB0aGUgYmVzdCB0aHJlc2hvbGQgYW5kIGJlc3QgcmVjYWxsDQpwcmludChwYXN0ZSgiQmVzdCB0aHJlc2hvbGQ6IiwgYmVzdF90aHJlc2hvbGQpKQ0KcHJpbnQocGFzdGUoIkJlc3QgRjE6IiwgYmVzdF9mMSkpDQoNCnBsb3QodGhyZXNob2xkcywgZjFfc2NvcmVzLCB0eXBlID0gImwiLCB4bGFiID0gIlRocmVzaG9sZCIsIHlsYWIgPSAiRjEgU2NvcmUiLCBtYWluID0gIkYxIFNjb3JlIHdpdGggZGlmZmVyZW50IHRocmVzaG9sZHMiKQ0KYGBgDQpXaWUgc2VoZW4gZGllIGFuZGVyZW4gTWV0cmlrZW4gbWl0IGRpZXNlbSBUaHJlc2hvbGQgYXVzPw0KDQpgYGB7cn0NCnByZWRpY3Rpb25zX3RocmVzaG9sZCA8LSBpZmVsc2UocHJlZGljdGlvbnMgPiBiZXN0X3RocmVzaG9sZCwgVFJVRSwgRkFMU0UpDQpnZXRfbWV0cmljcyhwcmVkaWN0aW9uc190aHJlc2hvbGQsIHRlc3QkaGFzX2NhcmQpDQpgYGANCg0KDQojIFJlZ3Jlc3Npb25zbW9kZWxsIG1pdCBhbGxlbiBEYXRlbg0KDQpOdW4gc29sbCBkaWVzZXMgQmFzZWxpbmUtTW9kZWxsIHZlcmJlc3NlcnQgd2VyZGVuLiBBbHMgZXJzdGVzIHByb2JpZXJlbiB3aXIsIGRhcyBnbGVpY2hlIE1vZGVsbCAoTG9naXN0aXNjaGUgUmVncmVzc2lvbikgbWl0IG1laHIgSW5wdXQtUGFyYW1ldGVybiB6dSB0cmFpbmllcmVuLiANCg0KRGEgZGllIGxvZ2lzdGlzY2hlIFJlZ3Jlc3Npb24gUHJvYmxlbWUgbWl0IEZha3RvcmVuIGhhdCwgd2VsY2hlIG51ciBpbSBUcmFpbmluZ3MtIGJ6dy4gVGVzdGRhdGVuc2F0eiB2b3Jrb21tZW4gdW5kIGF1Y2ggbmljaHQgZ3V0IG1pdCBOQSdzIHVtZ2VoZW4ga2FubiwgbcO8c3NlbiB3aXIgenVlcnN0IG5vY2ggZWluaWdlIEFucGFzc3VuZ2VuIGFtIERhdGVuc2F0eiB2b3JuZWhtZW4uDQoNCkFscyBlcnN0ZXMgZW50ZmVybmVuIHdpciBhbGxlIEtvbG9ubmVuLCB3ZWxjaGUgRmFrdG9yZW4gc2luZCB1bmQgbWVociBhbHMgMTAgdmVyc2NoaWVkZW5lIEF1c3Byw6RndW5nZW4gaGFiZW4uDQoNCmBgYHtyfQ0KIyBFcm1pdHRsZSBkaWUgbnVtZXJpc2NoZW4gTWVya21hbGUgaW4gZGVuIFRyYWluaW5nc2RhdGVuDQpudW1lcmljX3ZhcnMgPC0gc2FwcGx5KGZpbmFsX2RmLCBpcy5udW1lcmljKQ0KDQojIEVyc3RlbGxlIGVpbiBTdWJzZXQgZGVyIFRyYWluaW5nc2RhdGVuIG9obmUgZGllIG51bWVyaXNjaGVuIE1lcmttYWxlDQp0cmFpbl9ub19udW1lcmljIDwtIGZpbmFsX2RmWywgIW51bWVyaWNfdmFyc10NCg0KIyBFcm1pdHRsZSBkaWUgQW56YWhsIGRlciBLYXRlZ29yaWVuIGbDvHIgamVkZXMgTWVya21hbA0KbnVtX2NhdGVnb3JpZXMgPC0gc2FwcGx5KHRyYWluX25vX251bWVyaWMsIGZ1bmN0aW9uKHgpIGxlbmd0aCh1bmlxdWUoeCkpKQ0KDQojIMOcYmVycHLDvGZlLCBvYiBlaW4gTWVya21hbCB6dSB2aWVsZSBLYXRlZ29yaWVuIGhhdA0KdG9vX21hbnlfY2F0ZWdvcmllcyA8LSBudW1fY2F0ZWdvcmllcyA+IDEwDQoNCiMgR2liIGRpZSBOYW1lbiBkZXIgTWVya21hbGUgYXVzLCBkaWUgenUgdmllbGUgS2F0ZWdvcmllbiBoYWJlbg0KY29sdW1uc190b19yZW1vdmUgPC0gY29sbmFtZXModHJhaW5fbm9fbnVtZXJpYylbdG9vX21hbnlfY2F0ZWdvcmllc10NCg0KDQojIEVybWl0dGxlIGRpZSBTcGFsdGVubmFtZW4sIGRpZSBiZWhhbHRlbiB3ZXJkZW4gc29sbGVuDQprZWVwX2NvbHVtbnMgPC0gc2V0ZGlmZihjb2xuYW1lcyhmaW5hbF9kZiksIGNvbHVtbnNfdG9fcmVtb3ZlKQ0KDQojIEVyc3RlbGxlIGVpbiBTdWJzZXQgZGVzIERhdGFmcmFtZXMgbWl0IGRlbiBiZWhhbHRlbmVuIFNwYWx0ZW5uYW1lbg0KZmluYWxfZGZfc2ltcGxpZmllZCA8LSBmaW5hbF9kZlssIGtlZXBfY29sdW1uc10NCg0KY29sdW1uc190b19yZW1vdmUNCmBgYA0KDQpOdW4gbXVzcyBkZXIgRGF0ZW5zYXR6IG5vY2ggYXVmIE5BJ3Mgw7xiZXJwcsO8ZnQgd2VyZGVuLg0KDQpgYGB7cn0NCnN1bShpcy5uYShmaW5hbF9kZl9zaW1wbGlmaWVkKSkNCg0KIyBFcnN0ZWxsZSBlaW5lbiBsb2dpc2NoZW4gVmVrdG9yLCBkZXIgYW5naWJ0LCBvYiBqZWRlcyBFbGVtZW50IE5BIGlzdA0KbmFfbWF0cml4IDwtIGlzLm5hKGZpbmFsX2RmX3NpbXBsaWZpZWQpDQoNCiMgU3VtbWllcmUgZGllIEFuemFobCBkZXIgTkEtIFdlcnRlIHBybyBaZWlsZQ0KbmFfY291bnRzIDwtIHJvd1N1bXMobmFfbWF0cml4KQ0KbmFfY291bnRzX2NvbHMgPC0gY29sU3VtcygobmFfbWF0cml4KSkNCg0KIyBaw6RobGUgZGllIFplaWxlbiBtaXQgTkEtIFdlcnRlbg0KbnVtX25hX3Jvd3MgPC0gc3VtKG5hX2NvdW50cyA+IDApDQpudW1fbmFfY29scyA8LSBzdW0obmFfY291bnRzX2NvbHMgPiAwKQ0KbnVtX25hX3Jvd3MNCm51bV9uYV9jb2xzDQpgYGANCg0KRmFzdCBqZWRlIFplaWxlIGhhdCBpcmdlbmR3byBlaW4gTkEuIEVzIHNpbmQgYXVjaCB2aWVsZSBLb2xvbm5lbiBiZXRyb2ZmZW4uIFdpciBrw7ZubmVuIGFsc28gbmljaHQgYWxsZSBPYnNlcnZhdGlvbmVuIG9kZXIgVmFyaWFiZWxuIG1pdCBOQSdzIGVudGZlcm5lbiwgZGEgc29uc3QgZGVyIERhdGVudmVybHVzdCBzZWhyIGdyb3NzIHfDpHJlLiBEYWhlciBpbXB1dGllcmVuIHdpciBkaWUgbnVtZXJpc2NoZW4gZmVobGVuZGVuIFdlcnRlIG1pdCBkZW0gTWVkaWFuIHVuZCBkaWUgZmVobGVuZGVuIGthdGVnb3JpYWxlbiBXZXJ0ZSBtaXQgZGVtIFdlcnQsIHdlbGNoZXIgYW0gbWVpc3RlbiB2b3Jrb21tdC4NCg0KYGBge3J9DQojIEltcHV0ZSBOQSBudW1iZXJzIHdpdGggdGhlIG1lZGlhbg0KZmluYWxfZGZfc2ltcGxpZmllZCA8LSBmaW5hbF9kZl9zaW1wbGlmaWVkICU+JSANCiAgbXV0YXRlX2lmKGlzLm51bWVyaWMsIGxpc3QofiBpZl9lbHNlKGlzLm5hKC4pLCBtZWRpYW4oLiwgbmEucm0gPSBUUlVFKSwgLikpKQ0KDQojIEltcHV0ZSBOQSBzdHJpbmdzL2ZhY3RvcnMgd2l0aCB0aGUgbW9zdCBjb21tb24gdmFsdWUNCmZpbmFsX2RmX3NpbXBsaWZpZWQgPC0gZmluYWxfZGZfc2ltcGxpZmllZCAlPiUgDQogIG11dGF0ZV9pZihpcy5jaGFyYWN0ZXIsIGxpc3QofiBpZl9lbHNlKGlzLm5hKC4pLCBtb2RlKC4pLCAuKSkpDQpgYGANCg0KYGBge3J9DQpzdW0oaXMubmEoZmluYWxfZGZfc2ltcGxpZmllZCkpDQpgYGANCg0KDQpgYGB7cn0NCnNwbGl0cyA8LSBzcGxpdF9kYXRhKGZpbmFsX2RmX3NpbXBsaWZpZWQsIHRlc3Rfc2l6ZSA9IDAuMikNCnRyYWluIDwtIHNwbGl0cyR0cmFpbg0KdGVzdCA8LSBzcGxpdHMkdGVzdA0KYGBgDQoNCmBgYHtyfQ0KIyBGaXQgdGhlIG1vZGVsIG9uIHRoZSB0cmFpbmluZyBkYXRhDQptb2RlbCA8LSBnbG0oaGFzX2NhcmQgfiAuLCBkYXRhID0gdHJhaW4sIGZhbWlseSA9IGJpbm9taWFsKQ0KDQpgYGANCg0KDQoNCmBgYHtyfQ0KIyBNYWtlIHByZWRpY3Rpb25zIG9uIHRoZSB0ZXN0IGRhdGENCnByZWRpY3Rpb25zIDwtIHByZWRpY3QobW9kZWwsIHRlc3QsIHR5cGUgPSAicmVzcG9uc2UiKQ0KDQp0aHJlc2hvbGQgPC0gMC41DQpwcmVkaWN0aW9uc190aHJlc2hvbGQgPC0gaWZlbHNlKHByZWRpY3Rpb25zID4gdGhyZXNob2xkLCBUUlVFLCBGQUxTRSkNCg0KZ2V0X21ldHJpY3MocHJlZGljdGlvbnNfdGhyZXNob2xkLCB0ZXN0JGhhc19jYXJkKQ0KYGBgDQoNCiMgRGVjaXNpb24gVHJlZQ0KDQpgYGB7cn0NCmxpYnJhcnkocnBhcnQpDQoNCnNldC5zZWVkKDEyMykNCnNwbGl0cyA8LSBzcGxpdF9kYXRhKGZpbmFsX2RmLCB0ZXN0X3NpemUgPSAwLjIpDQp0cmFpbiA8LSBzcGxpdHMkdHJhaW4NCnRlc3QgPC0gc3BsaXRzJHRlc3QNCm1vZGVsIDwtIHJwYXJ0KGhhc19jYXJkIH4gLiwgZGF0YSA9IHRyYWluLCBtZXRob2QgPSAiY2xhc3MiKQ0KDQojIE1ha2UgcHJlZGljdGlvbnMgb24gdGhlIHRlc3QgZGF0YQ0KcHJlZGljdGlvbnMgPC0gcHJlZGljdChtb2RlbCwgdGVzdCwgdHlwZSA9ICJjbGFzcyIpDQoNCnByZWRpY3Rpb25zIDwtIGFzLmZhY3RvcihwcmVkaWN0aW9ucykNCg0KDQp0ZXN0JGhhc19jYXJkIDwtIGFzLmZhY3Rvcih0ZXN0JGhhc19jYXJkKQ0KIyBDYWxjdWxhdGUgdGhlIGNvbmZ1c2lvbiBtYXRyaXgNCmNvbmZ1c2lvbl9tYXRyaXggPC0gY29uZnVzaW9uTWF0cml4KHByZWRpY3Rpb25zLCB0ZXN0JGhhc19jYXJkKQ0KDQojIENhbGN1bGF0ZSB0aGUgYWNjdXJhY3kNCmFjY3VyYWN5IDwtIGNvbmZ1c2lvbl9tYXRyaXgkb3ZlcmFsbFsxXQ0KDQojIFByaW50IHRoZSByZXN1bHRzDQpwcmludChwYXN0ZSgiQWNjdXJhY3k6IiwgYWNjdXJhY3kpKQ0KYGBgDQoNCkRpZSBLbGFzc2lmaWthdGlvbiBpc3QgdW0gZWluaWdlcyBiZXNzZXIgYXVmIGRlbSBEZWNpc2lvbiBUcmVlLiBFcyBzY2hlaW50IGFsc28gZsO8ciB1bnNlcmVuIFZlcndlbmR1bmdzendlY2sgZGVyIGJlc3NlcmUgQWxnb3JpdGhtdXMgenUgc2Vpbi4gV2lyIHVudGVyc3VjaGVuIG5vY2ggRXJ3ZWl0ZXJ1bmdlbiBkZXMgRGVjaXNpb24gVHJlZXM6IGRlciBSYW5kb20gRm9yZXN0Lg0KDQoNCg0KIyBSYW5kb20gRm9yZXN0IA0KDQpgYGB7cn0NCnNldC5zZWVkKDEyMykNCmZpbmFsX2RmJGhhc19jYXJkIDwtIGFzLmZhY3RvcihmaW5hbF9kZiRoYXNfY2FyZCkNCmZpbmFsX2RmIDwtIG5hLm9taXQoZmluYWxfZGYpDQojIFRlaWxlbiBTaWUgZGVuIERhdGVuc2F0eiBpbiBUcmFpbmluZ3MtIHVuZCBUZXN0ZGF0ZW4gYXVmDQp0cmFpbl9pbmRleCA8LSBjcmVhdGVEYXRhUGFydGl0aW9uKGZpbmFsX2RmJGhhc19jYXJkLCBwID0gMC44LCBsaXN0ID0gRkFMU0UpDQp0cmFpbiA8LSBmaW5hbF9kZlt0cmFpbl9pbmRleCwgXQ0KdGVzdCA8LSBmaW5hbF9kZlstdHJhaW5faW5kZXgsIF0NCg0KIyBFcnN0ZWxsZW4gU2llIGVpbiBSYW5kb20gRm9yZXN0LU1vZGVsbA0KbW9kZWwgPC0gcmFuZF9mb3Jlc3QoKSAlPiUgc2V0X21vZGUoImNsYXNzaWZpY2F0aW9uIikNCg0KIyBUcmFpbmllcmVuIFNpZSBkYXMgTW9kZWxsIG1pdCBib290c3RyYXBwZWQgcmVzYW1wbGluZw0KbW9kZWwgPC0gbW9kZWwgJT4lIGZpdChoYXNfY2FyZCB+IC4sIGRhdGEgPSB0cmFpbikNCg0KIyBNYWNoZW4gU2llIFZvcmhlcnNhZ2VuIGF1ZiBkZW4gVGVzdGRhdGVuDQpwcmVkaWN0aW9ucyA8LSBtb2RlbCAlPiUgcHJlZGljdCh0ZXN0KQ0KDQp0ZXN0JGhhc19jYXJkIDwtIGFzLmZhY3Rvcih0ZXN0JGhhc19jYXJkKQ0KIyBCZXJlY2huZW4gU2llIGRpZSBHZW5hdWlna2VpdCBkZXMgTW9kZWxscw0KY29uZnVzaW9uX21hdHJpeCA8LSBjb25mdXNpb25NYXRyaXgocHJlZGljdGlvbnMkLnByZWRfY2xhc3MsIHRlc3QkaGFzX2NhcmQpDQoNCiMgQXVzZ2ViZW4gZGVyIEdlbmF1aWdrZWl0DQpwcmludChwYXN0ZSgiQWNjdXJhY3k6IiwgY29uZnVzaW9uX21hdHJpeCRvdmVyYWxsWzFdKSkNCmBgYA0KDQpEZXIgUmFuZG9tIEZvcmVzdCBpc3QgZWluIHdlbmlnIGJlc3NlciBhbHMgZGVyIERlY2lzaW9uIFRyZWUuIEFscyBuw6RjaHN0ZXMgd29sbGVuIHdpciBwcm9iaWVyZW4sIG9iIGVpbmUgSHlwZXJwYXJhbWV0ZXJvcHRpbWllcnVuZyB1bnNlciBSZXN1bHRhdCBub2NoIHZlcmJlc3Nlcm4ga2Fubi4NCg0KIyBIeXBlcnBhcmFtdGVyIE9wdGltaWVydW5nIGF1ZiBSYW5kb20gRm9yZXN0DQoNCmBgYHtyfQ0KIyBMZWdlbiBTaWUgZGVuIEh5cGVycGFyYW1ldGVyLVN1Y2hiZXJlaWNoIGZlc3QNCnBhcmFtX2dyaWQgPC0gZXhwYW5kLmdyaWQobnRyZWUgPSBjKDUwLCAxMDAsIDE1MCksDQogICAgICAgICAgICAgICAgICAgICAgICAgIG5vZGVzaXplID0gYyg1LCAxMCwgMTUpKQ0KDQptdHJ5X3ZhbHVlcyA8LSBjKDEsIDIsIDMpDQpzcGxpdHJ1bGVfdmFsdWVzIDwtIGMoImdpbmkiLCAiZXh0cmF0cmVlcyIpDQptaW4ubm9kZS5zaXplX3ZhbHVlcyA8LSBjKDEwLCAyMCwgMzApDQoNCiMgRXJzdGVsbGVuIFNpZSBkZW4gVHVuaW5nLVBhcmFtZXRlci1HcmlkIG1pdCBleHBhbmQuZ3JpZA0KcGFyYW1fZ3JpZCA8LSBleHBhbmQuZ3JpZChtdHJ5ID0gYygxLCA1LCAxMCksIA0KICAgICAgICAgICAgICAgICAgICAgICAgIHNwbGl0cnVsZSA9IGMoImdpbmkiLCAiZXh0cmF0cmVlcyIpLCANCiAgICAgICAgICAgICAgICAgICAgICAgICBtaW4ubm9kZS5zaXplID0gYyg1LCAxMCwgMTUpKQ0KDQojIERlZmluaWVyZW4gU2llIGRhcyBUcmFpbmluZ3Nrb250cm9sbG9iamVrdA0KdHJhaW5fY29udHJvbCA8LSB0cmFpbkNvbnRyb2wobWV0aG9kID0gImN2IiwgbnVtYmVyID0gNSkNCg0KIyBGw7xocmVuIFNpZSBkaWUgR3JpZCBTZWFyY2ggZHVyY2gNCm1vZGVsIDwtIHRyYWluKGhhc19jYXJkIH4gLiwgZGF0YSA9IHRyYWluLCBtZXRob2QgPSAicmFuZ2VyIiwNCiAgICAgICAgICAgICAgIHRyQ29udHJvbCA9IHRyYWluX2NvbnRyb2wsIHR1bmVHcmlkID0gcGFyYW1fZ3JpZCkNCg0KIyBNYWNoZW4gU2llIFZvcmhlcnNhZ2VuIGF1ZiBkZW4gVGVzdGRhdGVuDQpwcmVkaWN0aW9ucyA8LSBwcmVkaWN0KG1vZGVsLCB0ZXN0KQ0KDQojIEVyc3RlbGxlbiBTaWUgZWluZSBDb25mdXNpb24gTWF0cml4DQpjb25mdXNpb25fbWF0cml4IDwtIGNvbmZ1c2lvbk1hdHJpeChwcmVkaWN0aW9ucywgdGVzdCRoYXNfY2FyZCkNCg0KIyBBdXNnZWJlbiBkZXIgR2VuYXVpZ2tlaXQNCnByaW50KHBhc3RlKCJBY2N1cmFjeToiLCBjb25mdXNpb25fbWF0cml4JG92ZXJhbGxbMV0pKQ0KYGBgDQpEaWUgSHlwZXJwYXJhbXRlcmVvcHRpbWllcnVuZyB2ZXJiZXNzZXJ0IHVuc2VyZW4gU2NvcmUgbnVyIG1pbmltLiANCg0KDQojIFJlY3Vyc2l2ZSBGZWF0dXJlIEVsaW1uYXRpb24NCg0KRWluZSBNw7ZnbGljaGtlaXQsIGRpZSBMZWlzdHVuZyB2b24gUmFuZG9tIEZvcmVzdCB6dSB2ZXJiZXNzZXJuLCBpc3QgZGllIFZlcndlbmR1bmcgdm9uIFJlY3Vyc2l2ZSBGZWF0dXJlIEVsaW1pbmF0aW9uIChSRkUpLg0KDQpSRkUgaXN0IGVpbiBGZWF0dXJlIFNlbGVjdGlvbi1WZXJmYWhyZW4sIGRhcyBkYXp1IHZlcndlbmRldCB3aXJkLCBkaWUgd2ljaHRpZ3N0ZW4gRmVhdHVyZXMgKGFsc28gZGllamVuaWdlbiBNZXJrbWFsZSwgZGllIGbDvHIgZGllIFZvcmhlcnNhZ2UgYW0gd2ljaHRpZ3N0ZW4gc2luZCkgYXVzenV3w6RobGVuIHVuZCBhbGxlIGFuZGVyZW4genUgZW50ZmVybmVuLiBEaWVzIGhhdCBtZWhyZXJlIFZvcnRlaWxlOg0KDQpFcyByZWR1emllcnQgZGllIExhdWZ6ZWl0IHZvbiBSYW5kb20gRm9yZXN0LCBkYSB3ZW5pZ2VyIEZlYXR1cmVzIHZlcmFyYmVpdGV0IHdlcmRlbiBtw7xzc2VuLg0KRXMga2FubiBkYXp1IGJlaXRyYWdlbiwgT3ZlcmZpdHRpbmcgenUgdmVybWVpZGVuLCBpbmRlbSBlcyBpcnJlbGV2YW50ZW4gb2RlciByZWR1bmRhbnRlbiBGZWF0dXJlcyBlbnRmZXJudC4NCkVzIGthbm4gZGF6dSBiZWl0cmFnZW4sIGRpZSBJbnRlcnByZXRpZXJiYXJrZWl0IHZvbiBSYW5kb20gRm9yZXN0IHp1IHZlcmJlc3Nlcm4sIGRhIHdpY2h0aWdlcmUgRmVhdHVyZXMgbGVpY2h0ZXIgenUgdmVyc3RlaGVuIHNpbmQuDQoNCg0KYGBge3J9DQpzcGxpdHMgPC0gc3BsaXRfZGF0YShmaW5hbF9kZiwgdGVzdF9zaXplID0gMC4yKQ0KdHJhaW4gPC0gc3BsaXRzJHRyYWluDQp0ZXN0IDwtIHNwbGl0cyR0ZXN0DQoNCiMgZGVmaW5lIHRoZSBmZWF0dXJlIHNlbGVjdGlvbiBhbGdvcml0aG0NCmZzIDwtIHJmZSh4ID0gdHJhaW4gJT4lIHNlbGVjdCgtaGFzX2NhcmQpLCB5ID0gdHJhaW4kaGFzX2NhcmQsIHNpemVzID0gYygxOjUpLCByZmVDb250cm9sID0gcmZlQ29udHJvbChmdW5jdGlvbnMgPSByZkZ1bmNzKSkNCg0KIyBwcmludCB0aGUgc2VsZWN0ZWQgZmVhdHVyZXMNCnByaW50KGZzKQ0KIyB0cmFpbiBhIG1vZGVsIHVzaW5nIHRoZSBzZWxlY3RlZCBmZWF0dXJlcw0KI21vZGVsIDwtIHRyYWluKHggPSB0cmFpblssZnMkc2VsZWN0ZWRGZWF0dXJlc10sIHkgPSB0cmFpbiRoYXNfY2FyZCwgbWV0aG9kID0gInJmIikNCmBgYA0KDQpgYGB7cn0NCmdncGxvdChkYXRhID0gZnMsIG1ldHJpYyA9ICJBY2N1cmFjeSIpICsgdGhlbWVfYncoKQ0KYGBgDQoNCmBgYHtyfQ0KcHJlZGljdG9ycyhmcykNCmBgYA0KDQoNCg0KYGBge3J9DQp2YXJpbXBfZGF0YSA8LSBkYXRhLmZyYW1lKGZlYXR1cmUgPSByb3cubmFtZXModmFySW1wKGZzKSlbMTo4XSwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgaW1wb3J0YW5jZSA9IHZhckltcChmcylbMTo4LCAxXSkNCg0KZ2dwbG90KGRhdGEgPSB2YXJpbXBfZGF0YSwgDQogICAgICAgYWVzKHggPSByZW9yZGVyKGZlYXR1cmUsIC1pbXBvcnRhbmNlKSwgeSA9IGltcG9ydGFuY2UsIGZpbGwgPSBmZWF0dXJlKSkgKw0KICBnZW9tX2JhcihzdGF0PSJpZGVudGl0eSIpICsgbGFicyh4ID0gIkZlYXR1cmVzIiwgeSA9ICJWYXJpYWJsZSBJbXBvcnRhbmNlIikgKyANCiAgZ2VvbV90ZXh0KGFlcyhsYWJlbCA9IHJvdW5kKGltcG9ydGFuY2UsIDIpKSwgdmp1c3Q9MS42LCBjb2xvcj0id2hpdGUiLCBzaXplPTQpICsgDQogIHRoZW1lX2J3KCkgKyB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAibm9uZSIpDQpgYGANCg0KDQoNCg==